doc/manual/Makefile
changeset 5434 81a3858041a8
parent 5429 768e3f3187f7
child 5514 3bf9272d9eaf
--- a/doc/manual/Makefile	Mon Oct 19 17:35:02 2009 -0700
+++ b/doc/manual/Makefile	Mon Oct 19 07:54:31 2009 -0700
@@ -72,6 +72,8 @@
 version:
 	echo -n "ns-" > VERSION-PREFIX; cat VERSION-PREFIX ../../VERSION > VERSION; rm -rf VERSION-PREFIX
 
-clean: 	figures-clean
+texi-clean: 	
 	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 
+
+clean:	figures-clean texi-clean