Open WillClinger opened 8 years ago
Partially fixed by changeset 3297332a516b5a05d8f63667c6a9a8d9aa2e5944
The DocBook backends still don't work, but that appears to be a problem with the current version of asciidoc
. We can proceed using the one backend that works, so I'm downgrading the priority and changing the milestone.
The nightly build of the user manual is now being done on Larceny's primary machine and is being made available at the same web site that reports the nightly builds.
Some of the macros we define for our user manual don't work with the current version of Asciidoc.