Jeff Barnes wrote: > I obsoleted the .8 file and attached the svn diff for the xml file. > > Should the ab.8 file be removed from svn if it gets overwritten with each > documentation generation?
No moreso than the .html files, all generated from xml. We don't expect typical developers to install the docs toolchain. Perhaps it's time we did, but that's a different discussion altogether ;)