diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index dccd5eb..bcc1afe 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -20,6 +20,7 @@ ref: lib: touch lib.ind latex lib + ./fix_hack lib.idx makeindex lib latex lib dvips lib >lib.ps @@ -31,10 +32,15 @@ qua: latex qua dvips lib >lib.ps +libinfo: + @echo This may take a while... + python -c 'import partparse; partparse.main()' lib[1-5].tex + sh fix.sh + clean: rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl # Sources: .tex, .bib, .sty # Useful results: .dvi, .ps clobber: clean - rm -f *.dvi *.ps + rm -f *.dvi *.ps *.info *.info-[0-9]* |