1. 11 Dec, 2018 1 commit
  2. 04 Dec, 2018 1 commit
  3. 10 May, 2016 1 commit
  4. 06 Apr, 2003 1 commit
    • Martin Mareš's avatar
      Updated the documentation building tools to work with a recent linuxdoc-tools package. · 9c763123
      Martin Mareš authored
      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 :)
      9c763123