diff options
-rw-r--r-- | Makefile.in | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Makefile.in b/Makefile.in index 8ff58e3..26bbdec 100644 --- a/Makefile.in +++ b/Makefile.in @@ -158,13 +158,10 @@ pdf: doc-clean doc/refman.tex html: doc-clean doc/refman.tex (cd doc; \ - latex refman.tex; \ - tex '\def\filename{{refman}{idx}{4dx}{ind}}' '\input' idxmake.4ht; \ + htlatex refman.tex refman; \ + tex '\def\filename{{refman}{idx}{4dx}{ind}}' '\input' idxmake.4ht; \ makeindex -o refman.ind refman.4dx; \ - latex refman.tex; \ - latex refman.tex; \ - tex4ht refman.tex; \ - t4ht refman.tex) + htlatex refman.tex refman) # # No stubs and no headers installed right now |