doc/manual/Makefile
changeset 5244 a163562a2622
parent 4480 565c460ffd5a
child 5429 768e3f3187f7
--- a/doc/manual/Makefile	Wed Sep 23 15:38:36 2009 -0700
+++ b/doc/manual/Makefile	Tue Sep 22 20:54:05 2009 -0700
@@ -54,20 +54,23 @@
 %.png : %.dia; $(DIA) -t png $< -e $@
 %.pdf : %.eps; $(EPSTOPDF) $< -o=$@
 
-all:  $(IMAGES) manual.pdf manual.html manual/manual.html
+all:  $(IMAGES) version manual.pdf manual.html manual/manual.html
 
-manual.pdf: $(IMAGES) $(CHAPTERS)
+manual.pdf: version $(IMAGES) $(CHAPTERS)
 	$(TEXI2PDF) manual.texi
 
-manual.html: $(IMAGES) $(CHAPTERS)
+manual.html: version $(IMAGES) $(CHAPTERS)
 	$(TEXI2HTML) ${CSS} manual.texi
 
-manual/manual.html: $(IMAGES) $(CHAPTERS)
+manual/manual.html: version $(IMAGES) $(CHAPTERS)
 	$(TEXI2HTML) ${CSS} ${SPLIT} manual.texi
 
 figures-clean:
 	rm -rf $(IMAGES)
 
+version:
+	echo -n "ns-" > VERSION-PREFIX; cat VERSION-PREFIX ../../VERSION > VERSION; rm -rf VERSION-PREFIX
+
 clean: 	figures-clean
-	rm -rf manual.aux manual.cp manual.cps manual.fn manual.ky manual.pg 
-	rm -rf manual.tp manual.vr manual.toc manual.log manual.pdf manual.html manual/ 
+	rm -rf manual.aux manual.cp manual.cps manual.fn manual.ky manual.pg manual.tp
+	rm -rf manual.vr manual.toc manual.log manual.pdf manual.html manual/ VERSION