aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/wscript')
-rw-r--r--plugins/wscript7
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')