diff options
Diffstat (limited to 'plugins/wscript')
| -rw-r--r-- | plugins/wscript | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/plugins/wscript b/plugins/wscript index 63d01ae..c3ead30 100644 --- a/plugins/wscript +++ b/plugins/wscript @@ -24,11 +24,16 @@ def build(bld): files += bld.path.ant_glob('%s/*.ttl' % i) files += bld.path.ant_glob('%s/*.c' % i) + # Compile book sources into book.txt asciidoc source bld(rule = bld_book_src, source = files, target = 'book.txt') - bld(rule = 'asciidoc -b html -o ${TGT} ${SRC}', + # Run asciidoc to generate book.html + stylesdir = bld.path.find_node('../doc/').abspath() + pygments_style = bld.path.find_node('../doc/style.css').abspath() + bld(rule = 'asciidoc -a stylesdir=%s -a source-highlighter=pygments -a pygments-style=%s -b html -o ${TGT} ${SRC}' % ( + stylesdir, pygments_style), source = 'book.txt', target = 'book.html') |