Add ignore file to doc/src/sgml
Makes cvs diff go by quicker on a compiled tree as it doesn't ask therepo about the new .html files.-- Rod Taylor