diff options
Diffstat (limited to 'doc/wscript')
| -rwxr-xr-x | doc/wscript | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/wscript b/doc/wscript index 187a5528..f574e69b 100755 --- a/doc/wscript +++ b/doc/wscript @@ -52,6 +52,9 @@ def publish_ext(bld): def publish_web(bld): ws_main.publish_web(bld) +def publish_perf(bld): + ws_main.publish_perf(bld) + def sync(bld): ws_main.sync(bld) |