Andreas Jaeger 5d1f5851bf REmove double docs jobs from jjb ...

jenkins-job-builder has two docs templates, since
I5cbf7b5cfea349a0bd72d2abee40710175cf5b2f as newest change added
docs-on-readthedocs, remove the older publish-tox-docs-infra, jjb is not
really part of infra anymore and publishing to rtd works fine.

Remove also link to it from our index page.

Change-Id: I803dc997f713896f557ccd22ff358adb28c9bf6b

2019-12-22 17:46:48 +01:00

..

generate_infra_index.py

Switch project-config to promote jobs [3]: Update building

2019-09-14 17:03:01 +02:00

infra-documents.yaml

REmove double docs jobs from jjb

2019-12-22 17:46:48 +01:00

infra-index.html.tmpl

Update infra-specs link

2019-05-30 20:51:31 +02:00