everything that depends on this needs to be doc as well. Maybe they
doc tools should be split out into a separate distribution, but until
that decision is made, at least keep them together.
This will make a number of things easier in the future, as well as (finally!)
avoiding the Id-smashing problem which has plagued developers for so long.
Boy, I'm glad we're not using sup anymore. This update would have been
insane otherwise.
I now have a functioning, semi-automagic linuxdoc to docbook converter,
so once the docbook to (HTML|groff) converters are up to snuff,
linuxdoc will be history. :)
