diff options
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |