2010-07-14 19:36:29 +02:00
|
|
|
"""Build the C++ client docs and the MongoDB server docs.
|
|
|
|
"""
|
2010-07-13 23:45:22 +02:00
|
|
|
|
2010-07-14 19:36:29 +02:00
|
|
|
from __future__ import with_statement
|
2010-07-13 23:45:22 +02:00
|
|
|
import os
|
2010-07-14 19:36:29 +02:00
|
|
|
import shutil
|
|
|
|
import subprocess
|
|
|
|
|
2010-07-13 23:45:22 +02:00
|
|
|
import markdown
|
|
|
|
|
|
|
|
|
2010-07-14 19:36:29 +02:00
|
|
|
def clean_dir(dir):
|
|
|
|
try:
|
|
|
|
shutil.rmtree(dir)
|
|
|
|
except:
|
|
|
|
pass
|
|
|
|
os.makedirs(dir)
|
|
|
|
|
|
|
|
|
|
|
|
def convert_dir(source, dest):
|
|
|
|
clean_dir(dest)
|
|
|
|
|
|
|
|
for x in os.listdir(source + "/"):
|
|
|
|
if not x.endswith(".md"):
|
2010-07-13 23:45:22 +02:00
|
|
|
continue
|
|
|
|
|
2010-07-14 19:36:29 +02:00
|
|
|
with open("%s/%s" % (source, x)) as f:
|
|
|
|
raw = f.read()
|
|
|
|
|
|
|
|
html = markdown.markdown(raw)
|
|
|
|
print(x)
|
|
|
|
|
|
|
|
with open("%s/%s" % (dest, x.replace(".md", ".html")), 'w') as o:
|
|
|
|
o.write(html)
|
|
|
|
|
2010-07-13 23:45:22 +02:00
|
|
|
|
2010-07-14 19:36:29 +02:00
|
|
|
def gen_cplusplus(dir):
|
|
|
|
clean_dir(dir)
|
|
|
|
clean_dir("docs/doxygen")
|
2010-07-13 23:45:22 +02:00
|
|
|
|
2010-07-14 19:36:29 +02:00
|
|
|
# Too noisy...
|
|
|
|
with open("/dev/null") as null:
|
|
|
|
subprocess.call(["doxygen", "doxygenConfig"], stdout=null, stderr=null)
|
|
|
|
|
|
|
|
os.rename("docs/doxygen/html", dir)
|
|
|
|
|
|
|
|
|
|
|
|
def version():
|
|
|
|
"""Get the server version from doxygenConfig.
|
|
|
|
"""
|
|
|
|
with open("doxygenConfig") as f:
|
|
|
|
for line in f.readlines():
|
|
|
|
if line.startswith("PROJECT_NUMBER"):
|
|
|
|
return line.split("=")[1].strip()
|
|
|
|
|
|
|
|
|
|
|
|
def main():
|
|
|
|
v = version()
|
|
|
|
print("Generating server docs in docs/html/internal/%s" % v)
|
|
|
|
convert_dir("docs", "docs/html/internal/%s" % v)
|
|
|
|
print("Generating C++ docs in docs/html/cplusplus/%s" % v)
|
|
|
|
gen_cplusplus("docs/html/cplusplus/%s" % v)
|
2010-07-13 23:45:22 +02:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
2010-07-14 19:36:29 +02:00
|
|
|
main()
|
|
|
|
|
2010-07-13 23:45:22 +02:00
|
|
|
|