Pedro

[nncp.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 4cfbdc2e9005eb0e68d97729dffe41d14ee0a036..4e65b0fe549402cc16a91d150962c62e5b3de85b 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,12 +2,12 @@ all: nncp.info nncp.html
 
 MAKEINFO ?= makeinfo
 
-nncp.info: *.texi
+nncp.info: *.texi pedro.txt
        $(MAKEINFO) -o nncp.info index.texi
 
 CSS != cat style.css
 
-nncp.html: *.texi
+nncp.html: *.texi pedro.txt
        rm -f nncp.html/*.html
        $(MAKEINFO) --html \
                --set-customization-variable CSS_LINES='$(CSS)' \