diff -r 02c04d2c8fd8 -r ac1eacb3aa33 sbin/doc/markdown2html.py --- a/sbin/doc/markdown2html.py Sun Nov 12 22:07:33 2017 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,32 +0,0 @@ -import re, sys, markdown, codecs - -inputname = sys.argv[1] -outputname = re.sub("\.\w+$",".html",inputname) -shortname = re.sub("(^.+\/|\.\w+$)","",inputname) - -print "Converting %s"%shortname - -f = codecs.open(inputname, mode="r", encoding="utf8") -mdtext = f.read() -f.close() -html = markdown.markdown(mdtext) - -f = codecs.open(outputname, "w", encoding="utf8") - -header = """ - -
- -