diff options
Diffstat (limited to 'baserock_webserver/instance-docs.baserock.org-config.yml')
-rw-r--r-- | baserock_webserver/instance-docs.baserock.org-config.yml | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/baserock_webserver/instance-docs.baserock.org-config.yml b/baserock_webserver/instance-docs.baserock.org-config.yml deleted file mode 100644 index e5910579..00000000 --- a/baserock_webserver/instance-docs.baserock.org-config.yml +++ /dev/null @@ -1,43 +0,0 @@ -# Configuration for docs.baserock.org site. -# -# This expects to be run after image-config.yml. -- hosts: webserver - gather_facts: False - tasks: - - name: /srv/docs.baserock.org/ - file: path=/srv/docs.baserock.org/ owner=fedora state=directory - - - name: git - dnf: name=git state=latest - sudo: yes - - - name: mkdocs documentation generator - pip: name=mkdocs executable=pip3.4 extra_args="--user" - - # A lot of the mkdocs themes are totally broken without Javascript, which - # is stupid. This one looks a little bit ugly without Javascript, but it - # is mostly usable. - - name: mkdocs 'material' theme - pip: name=mkdocs-material executable=pip3.4 extra_args="--user" - - - name: generate-docs.baserock.org script - copy: src=generate-docs.baserock.org dest=/home/fedora/ mode=755 - - - name: generate-docs.baserock.org systemd unit - copy: src=etc/systemd/system/generate-docs.baserock.org.service dest=/etc/systemd/system/ - sudo: yes - - - name: generate-docs.baserock.org systemd timer - copy: src=etc/systemd/system/generate-docs.baserock.org.timer dest=/etc/systemd/system/ - sudo: yes - - # FIXME: it would be much cooler to monitor the output of `gerrit - # stream-events`, or have a git post-receive hook installed on - # git.baserock.org to trigger this. - - name: enable generate-docs.baserock.org timer - service: name=generate-docs.baserock.org.timer state=started enabled=yes - sudo: yes - - - name: enable generate-docs.baserock.org service - service: name=generate-docs.baserock.org.service enabled=yes - sudo: yes |