diff options
Diffstat (limited to 'doc/ws_main.py')
| -rwxr-xr-x | doc/ws_main.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/ws_main.py b/doc/ws_main.py index 4b972a43..c07464ad 100755 --- a/doc/ws_main.py +++ b/doc/ws_main.py @@ -975,6 +975,9 @@ def build(bld): source='trex_vm_manual.asciidoc waf.css', target='trex_vm_manual.html',scan=ascii_doc_scan) bld(rule=convert_to_html_toc_book, + source='trex_vm_bench.asciidoc waf.css', target='trex_vm_bench.html',scan=ascii_doc_scan) + + bld(rule=convert_to_html_toc_book, source='trex_stateless.asciidoc waf.css', target='trex_stateless.html',scan=ascii_doc_scan); bld(rule=convert_to_html_toc_book, |