From 658d9238b75f344eacb9746fad9426f6a257ba4d Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sun, 4 Jul 2010 15:39:53 -0700
Subject: Clean in doc dir a little harder.

---
 doc/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index dc22f73f..c1e3f5c1 100644
--- 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
\ No newline at end of file
+          rust.html rust.pg rust.toc rust.tp rust.vr rust.cps \
+          version.texi
-- 
cgit v1.2.3