diff options
| author | Evan Martin <martine@danga.com> | 2013-02-17 01:13:10 (GMT) |
|---|---|---|
| committer | Evan Martin <martine@danga.com> | 2013-02-17 01:13:10 (GMT) |
| commit | d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9 (patch) | |
| tree | aceb7688ec3de250f96c9648a6d2651e42a9599a /configure.py | |
| parent | 370249f528b9b55f089937604a8f6ba482a33e02 (diff) | |
| download | Ninja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.zip Ninja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.tar.gz Ninja-d3c4cf1b36b132a2fc6f79970b32046ac4eaeef9.tar.bz2 | |
move from asciidoc html to asciidoc -> docbook -> html
As best as I can tell this is the easiest way to customize
the asciidoc HTML output.
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/configure.py b/configure.py index dc6bfb9..10c6994 100755 --- a/configure.py +++ b/configure.py @@ -397,9 +397,14 @@ n.newline() n.comment('Generate the manual using asciidoc.') n.rule('asciidoc', - command='asciidoc -a toc -a max-width=45em -o $out $in', - description='ASCIIDOC $in') -manual = n.build(doc('manual.html'), 'asciidoc', doc('manual.asciidoc')) + command='asciidoc -b docbook -d book -o $out $in', + description='ASCIIDOC $out') +n.rule('xsltproc', + command='xsltproc --nonet doc/docbook.xsl $in > $out', + description='XSLTPROC $out') +xml = n.build(built('manual.xml'), 'asciidoc', doc('manual.asciidoc')) +manual = n.build(doc('manual.html'), 'xsltproc', xml, + implicit=doc('style.css')) n.build('manual', 'phony', order_only=manual) n.newline() |