Add documentation output.

diff --git a/manual/.cvsignore b/manual/.cvsignore
index c726aec..78384aa 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