Martin Mares 9c7631235a Updated the documentation building tools to work with a recent linuxdoc-tools package. ... Note that this is (and always was) a terrible hack and we really should replace it with something reasonable which wouldn't need changing every time linuxdoc-tools evolve. I also needed to include a patched version of LinuxDocTools.pm, because the original one explicitly refused to work with a non-linuxdoc DTD. The authors of linuxdoc recommend to use sgmltools-lite in such cases, but it would mean rewritting our formatting rules to the DSSSL language which I don't dare to speak about here :)		2003-04-06 19:35:50 +00:00
..
dist	Updated the documentation building tools to work with a recent linuxdoc-tools package.	2003-04-06 19:35:50 +00:00
dtd	Define element <progdoc> which initializes different formatting for the	2000-06-05 21:02:57 +00:00
VERSION	This should be enough from the SGMLtools distribution to make the	2000-05-31 14:27:49 +00:00