From 588fcd4e0b2993d09c213662127ce0dabc1a6abd Mon Sep 17 00:00:00 2001 From: lecoanet Date: Wed, 18 Oct 2006 14:18:29 +0000 Subject: Updated the html target --- Makefile.in | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'Makefile.in') 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 -- cgit v1.1