Rod Taylor <rbt@rbt.ca> writes:
> Add ignore file to doc/src/sgml
> Makes cvs diff go by quicker on a compiled tree as it doesn't ask the
> repo about the new .html files.
This strikes me as a bad idea. We use .cvsignore only for files that
should survive "make distclean", which the built docs files surely
shouldn't.
regards, tom lane
