Clean in doc dir a little harder.

2010-07-04 15:39:53 -07:00 · 2010-07-04 15:39:53 -07:00 · 658d9238b7
commit 658d9238b7
parent 1fa468460d
1 changed files with 2 additions and 1 deletions
--- a/doc/Makefile
+++ b/doc/Makefile
@ -17,4 +17,5 @@ snap: rust.pdf

 clean:
 	rm -f rust.aux rust.cp rust.fn rust.ky rust.log rust.pdf \
-          rust.html rust.pg rust.toc rust.tp rust.vr
+          rust.html rust.pg rust.toc rust.tp rust.vr rust.cps \
+          version.texi