Add documentation output.

diff --git a/manual/.cvsignore b/manual/.cvsignore
index c726aecdb34bd3b173fead3370ad173b71fa3608..78384aa35b7c0fb6011d0711adfd0c07fdd3d3d5 100644 (file)
--- a/manual/.cvsignore
+++ b/manual/.cvsignore
@@ -3,11 +3,13 @@ become.aux
 become.cp
 become.dvi
 become.fn
-become.info
+become.info*
 become.ky
 become.log
 become.pg
 become.toc
 become.tp
 become.vr
+become_*.html
 html
+stamp-html.in