diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index dc56d80..dccd5eb 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -1,27 +1,40 @@ -all: tut ref lib # qua +DESTDIR=/usr/local +LIBDESTDIR=$DESTDIR/lib +LIBDEST=$LIBDESTDIR/python +DOCDESTDIR=$LIBDEST/doc + +all: tut ref lib qua tut: latex tut latex tut + dvips tut >tut.ps ref: touch ref.ind latex ref makeindex ref latex ref + dvips ref >ref.ps lib: touch lib.ind latex lib makeindex lib latex lib + dvips lib >lib.ps qua: latex qua bibtex qua latex qua latex qua + dvips lib >lib.ps clean: - rm -f @* *~ *.aux *.dvi *.idx *.ilg *.ind *.log *.ps *.toc *.blg - # Keep: .tex, .bib, .sty! + rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl + # Sources: .tex, .bib, .sty + # Useful results: .dvi, .ps + +clobber: clean + rm -f *.dvi *.ps |