1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
From f4c5864aa8ee73998f1cef0c7c7b18a2f701e344 Mon Sep 17 00:00:00 2001
From: Gerrit Pape <pape@smarden.org>
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
|
