2017-06-19 16:05:59 -04:00
|
|
|
#!/bin/bash -xe
|
|
|
|
|
2019-08-14 20:28:25 +02:00
|
|
|
if [[ -d publish-docs/html/www/ ]]; then
|
|
|
|
output=publish-docs/html/www
|
2017-07-18 16:57:08 -04:00
|
|
|
else
|
2019-08-14 20:28:25 +02:00
|
|
|
output=publish-docs/html/
|
2017-07-18 16:57:08 -04:00
|
|
|
fi
|
|
|
|
|
2019-08-16 16:19:11 +02:00
|
|
|
.tox/publishdocs/bin/python tools/www-generator.py --verbose --source-directory www/ \
|
2017-07-18 16:57:08 -04:00
|
|
|
--output-directory $output $@
|
2017-06-19 16:05:59 -04:00
|
|
|
|
2017-07-10 16:31:54 -04:00
|
|
|
if [[ $? -eq 0 ]]; then
|
2017-07-18 16:57:08 -04:00
|
|
|
rsync -a www/static/ $output
|
2017-07-10 16:31:54 -04:00
|
|
|
fi
|
2017-08-25 16:59:11 -04:00
|
|
|
|
2019-08-16 16:19:11 +02:00
|
|
|
.tox/publishdocs/bin/whereto $output/.htaccess $output/redirect-tests.txt
|