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.cp
 become.dvi
 become.fn

-become.info
+become.info*

 become.ky
 become.log
 become.pg
 become.toc
 become.tp
 become.vr
 become.ky
 become.log
 become.pg
 become.toc
 become.tp
 become.vr

+become_*.html

 html
 html

+stamp-html.in