#15 Switch to DocBook 4.0

None
closed-invalid
nobody
5
2013-12-09
2000-06-18
Slava Pestov
No

The jEdit user's guide is currently generated using outdated and nonstandard tools. I doubt that anyone except for me can generate the docs from the SGML source. We need to switch to up-to-date tools, and write portable shell scripts for generating the docs.

Discussion

  • Slava Pestov
    Slava Pestov
    2000-10-13

    • milestone: 101610 --> MOVED TO TASK MANAGER
    • status: open --> closed-invalid