diff options
author | Martin Mares <mj@ucw.cz> | 2003-04-06 19:35:50 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2003-04-06 19:35:50 +0000 |
commit | 9c7631235ac174ebd33a3e04e07211b3ae8501f6 (patch) | |
tree | 8b5967a04584ca369cab81f5491503fbd428f574 /configure.in | |
parent | a9aa5887f3b9b43d9a3a5617ef9176da936ce35f (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