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