import markdown, urllib2 # # 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() header = """Minetest Lua Modding API Reference 0.4.12 =========================================""" text = text.replace(header, "") # # Generating HTML # print("Generating HTML...") md = markdown.Markdown(extensions=['markdown.extensions.toc']) links = """""" html = md.convert(text).replace("{{", "{ {") html = html.replace(links, "") 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")