diff options
-rwxr-xr-x | make_doc.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make_doc.py b/make_doc.py index 57285790..9616ef11 100755 --- a/make_doc.py +++ b/make_doc.py @@ -16,6 +16,11 @@ if __name__ == '__main__': 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'): |