#!/bin/bash -xe if [[ -d publish-docs/html/www/ ]]; then output=publish-docs/html/www else output=publish-docs/html/ fi .tox/publishdocs/bin/python tools/www-generator.py --verbose --source-directory www/ \ --output-directory $output $@ if [[ $? -eq 0 ]]; then rsync -a www/static/ $output fi .tox/publishdocs/bin/whereto $output/.htaccess $output/redirect-tests.txt