2 LIBDESTDIR
=$DESTDIR/lib
3 LIBDEST
=$LIBDESTDIR/python
4 DOCDESTDIR
=$LIBDEST/doc
44 lib.texi
: lib
*.
tex texipre.dat texipost.dat partparse.py
45 python partparse.py
-o @lib.texi
`whichlibs`
50 python-lib.
info: lib.texi fix.el
51 emacs
-batch
-l fix.el
-f save-buffer
-kill
52 makeinfo --footnote-style end
--fill-column
72 --paragraph-indent
0 \
55 lib.
info: python-lib.
info
57 # This target is very local to CWI...
59 texi2html
-d lib.texi
/ufs
/guido
/www
/texinfo
/python
62 L2H
= /usr
/local
/LaTeX2html
/latex2html
63 L2HARGS
=-address
$$USER@
`domainname` -dont_include myformat
-nolatex
64 l2h
: l2htut l2href l2hext
67 $(L2H
) $(L2HARGS
) tut.
tex
72 $(L2H
) $(L2HARGS
) ref.
tex
77 $(L2H
) $(L2HARGS
) ext.
tex
82 rm -f @
* *~
*.aux
*.idx
*.ilg
*.ind
*.log
*.toc
*.blg
*.bbl
*.pyc
83 # Sources: .tex, .bib, .sty
84 # Useful results: .dvi, .ps, .texi, .info
87 rm -f
*.
dvi *.ps
*.texi
*.
info *.info-
[0-9]*