From f4c5864aa8ee73998f1cef0c7c7b18a2f701e344 Mon Sep 17 00:00:00 2001 From: Gerrit Pape Date: Wed, 8 Aug 2007 15:21:14 +0000 Subject: [PATCH] doc/Makefile.in: properly build and clean html doc. --- doc/Makefile.in | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index 4c73476..61a8b82 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -117,11 +117,10 @@ html : echo $$INTEGRIT_VERSION; \ sed "s/[@]INTEGRIT_VERSION[@]/$$INTEGRIT_VERSION/g" \ integrit.texi.in > integrit.texi \ - && ~/opt/texinfo-4.2/bin/makeinfo --html --no-split integrit.texi -# && makeinfo --html integrit.texi + && makeinfo --html --no-split integrit.texi clean : - rm -f integrit.1 i-viewdb.1 i-ls.1 integrit.texi + rm -f integrit.1 i-viewdb.1 i-ls.1 integrit.texi integrit.html realclean : clean -- debian.1.5.3_rc4.1-dirty