diff options
Diffstat (limited to 'make_doc.py')
-rwxr-xr-x | make_doc.py | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/make_doc.py b/make_doc.py deleted file mode 100755 index d59ac73b..00000000 --- a/make_doc.py +++ /dev/null @@ -1,28 +0,0 @@ -#!/usr/bin/python -"""Generate pydoc documentation and move it to the doc directory. -THIS WILL DELETE ALL EXISTING HTML FILES IN THAT DIRECTORY, so don't -store important content there.""" - -import pydoc, os, sys -if __name__ == '__main__': - docdir = 'doc/pydoc' - os.chdir(sys.path[0]) - try: os.mkdir(docdir) - except: pass - - - for fname in os.listdir(docdir): - if fname.endswith('.html'): - os.remove(os.path.join(docdir, fname)) - - pydoc.writedocs('.') - pydoc.writedoc('curses') - pydoc.writedoc('curses.ascii') - pydoc.writedoc('os') - pydoc.writedoc('os.path') - pydoc.writedoc('sys') - - for fname in os.listdir('.'): - if fname.endswith('.html'): - os.rename(fname, os.path.join(docdir, fname)) - |