diff options
author | hut <hut@lavabit.com> | 2010-02-25 02:45:40 +0100 |
---|---|---|
committer | hut <hut@lavabit.com> | 2010-02-25 02:45:47 +0100 |
commit | e9e4b4ffa4b4865c46acbebfc7ef2083bfac0210 (patch) | |
tree | 881e838f20c2025321409b23157b8e4af1f4eea2 /make_doc.py | |
parent | a5d9423cad0a112564447b2519208b9ec5354665 (diff) | |
download | ranger-e9e4b4ffa4b4865c46acbebfc7ef2083bfac0210.tar.gz |
added Makefile
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)) - |