import markdown, urllib2, datetime # # Downloading lua_api.txt # print("Downloading lua_api.txt...") url = "https://raw.githubusercontent.com/minetest/minetest/master/doc/lua_api.txt" text = urllib2.urlopen(url).read() print("Pre-processing...") header = """Minetest Lua Modding API Reference 0.4.13 =========================================""" text = text.replace(header, "") # # Generating HTML # print("Generating HTML...") md = markdown.Markdown(extensions=['markdown.extensions.toc']) html = md.convert(text) print("Post-processing...") links = """""" html = html.replace("{{", "{ {") html = html.replace(links, "") links += "This page was last updated " links += datetime.date.today().strftime("%d/%B/%Y") links += ".
See doc/lua_api.txt for the latest version (in plaintext)." links += "
Generated using a Python script." html = html.replace("

", links + "

") # # Writing to file # print("Writing to file...") file = open("lua_api.html", "w") file.write("---\ntitle: Lua Modding API Reference\nlayout: default\n---\n") file.write("

Table of Contents

\n") file.write(md.toc) file.write(html) file.close() print("Done")