diff make_html.py @ 4:05c9b1a7f44e draft default tip

Uploaded new release 1.7.3
author lgueguen
date Thu, 07 Jan 2021 11:12:01 +0000
parents 581d217c7337
children
line wrap: on
line diff
--- a/make_html.py	Mon Oct 01 05:07:56 2018 -0400
+++ b/make_html.py	Thu Jan 07 11:12:01 2021 +0000
@@ -68,6 +68,6 @@
 
 html+=fin_html
 
-htmlf = file(output_html,'w')
+htmlf = open(output_html,'w')
 htmlf.write(html)
 htmlf.close()