summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorMartin Mares <mj@ucw.cz>2003-04-06 19:35:50 +0000
committerMartin Mares <mj@ucw.cz>2003-04-06 19:35:50 +0000
commit9c7631235ac174ebd33a3e04e07211b3ae8501f6 (patch)
tree8b5967a04584ca369cab81f5491503fbd428f574 /configure.in
parenta9aa5887f3b9b43d9a3a5617ef9176da936ce35f (diff)
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 :)
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions