Andreas Jaeger 8a82b1445a Switch publishing to publish-docs/html ... This allows simplifying the CI jobs. Depends-On: https://review.opendev.org/676489 Change-Id: If363e5b0f16cd126dd9ddb5e23e4762d9496ef79		2019-08-15 06:45:04 +02:00
..
build-index.sh	Switch publishing to publish-docs/html	2019-08-15 06:45:04 +02:00
www-generator.py	Switch publishing to publish-docs/html	2019-08-15 06:45:04 +02:00