diff --git a/doc/Makefile b/doc/Makefile
index dc22f73fe1a..c1e3f5c1e37 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