diff options
author | Fred Drake <fdrake@acm.org> | 1996-09-13 14:44:34 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 1996-09-13 14:44:34 (GMT) |
commit | a39a25e5ec335baf6ab53b889bd460e8575159e2 (patch) | |
tree | c218cbe11b705d2f7d6ec71bfdc092886730cc0a /Doc/Makefile | |
parent | 0bc253dba7e0fcb3efcd96b0f5b3d9e6502bffb4 (diff) | |
download | cpython-a39a25e5ec335baf6ab53b889bd460e8575159e2.zip cpython-a39a25e5ec335baf6ab53b889bd460e8575159e2.tar.gz cpython-a39a25e5ec335baf6ab53b889bd460e8575159e2.tar.bz2 |
(texi2html.py): Use "if __name__ == '__main__':" test. Adjust indentation
to 4 spaces per level (no longer 8).
(Makefile): Use .pyc versions of partparse.py and texi2html.py to generate
converted documentation formats. This reduces the startup costs;
probably doesn't affect anyone but me in reality, but helps when
working on the docs.
Diffstat (limited to 'Doc/Makefile')
-rw-r--r-- | Doc/Makefile | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 6c2afb1..9595fca 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -58,6 +58,8 @@ L2H= /ufs/guido/l2h/latex2html L2HARGS= -address $$USER@`domainname` -dont_include myformat # Destination directory for output of libwww target. +PARTPARSE= $(PYTHON) ./partparse.pyc +TEXI2HTML= $(PYTHON) ./texi2html.pyc LIBHTMLDIR= ./python-lib # Install destination -- not used now but might be useful some time... @@ -165,22 +167,27 @@ qua.ps: qua.dvi # The remaining part of the Makefile is concerned with various # conversions, as described above. See also the README file. -lib.texi: lib*.tex texipre.dat texipost.dat partparse.py fix.el - $(PYTHON) partparse.py -o @lib.texi `./whichlibs` - $(EMACS) -batch -l fix.el -f save-buffer -kill - mv @lib.texi lib.texi +.SUFFIXES: .py .pyc + +.py.pyc: + $(PYTHON) -c "import $*" .PRECIOUS: lib.texi +lib.texi: lib*.tex texipre.dat texipost.dat partparse.pyc fix.el + $(PARTPARSE) -o @lib.texi `./whichlibs` + $(EMACS) -batch -l fix.el -f save-buffer -kill + mv @lib.texi lib.texi + python-lib.info: lib.texi -$(MAKEINFO) --footnote-style end --fill-column 72 \ --paragraph-indent 0 lib.texi lib.info: python-lib.info -libwww: lib.texi +libwww: lib.texi texi2html.pyc if test ! -d $(LIBHTMLDIR); then mkdir $(LIBHTMLDIR); else true; fi - $(PYTHON) texi2html.py -d lib.texi $(LIBHTMLDIR) + $(TEXI2HTML) -d lib.texi $(LIBHTMLDIR) # Targets to convert the manuals to HTML using Nikos Drakos' LaTeX to # HTML converter. For more info on this program, see |