diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/ws_main.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ws_main.py b/doc/ws_main.py index f28f5106..a88452b3 100755 --- a/doc/ws_main.py +++ b/doc/ws_main.py @@ -1129,6 +1129,13 @@ def publish_perf(bld): rsync_int(bld, 'images/_detailed_table.csv', 'images/') rsync_ext(bld, 'images/_detailed_table.csv', 'images/') + rsync_int(bld, 'images/_comparison.png', 'images/') + rsync_ext(bld, 'images/_comparison.png', 'images/') + + rsync_int(bld, 'images/_comparison_stats_table.csv', 'images/') + rsync_ext(bld, 'images/_comparison_stats_table.csv', 'images/') + + def publish_test(bld): # copy all the files to our web server |