doc/Makefile
changeset 3872 9d7ac8613340
parent 3269 6901d3545021
child 3907 39dcee009aab
--- a/doc/Makefile	Mon Dec 11 16:40:42 2006 -0800
+++ b/doc/Makefile	Tue Dec 12 11:39:05 2006 +0100
@@ -26,6 +26,13 @@
 %.html: %.txt
 	asciidoc -b html4 $*.txt || asciidoc -b html $*.txt
 
+MANIFEST: man html
+	# versionned files are already in the main MANIFEST
+	$(RM) $@
+	for i in $(MAN) $(HTML); do \
+	  echo "doc/$$i" >> $@ ; \
+	done
+
 install: man
 	for i in $(MAN) ; do \
 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
@@ -34,4 +41,4 @@
 	done
 
 clean:
-	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt
+	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt MANIFEST