From 7c66c4eb16d74aca179e022b9e3136eea2b5bd4a Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Tue, 20 Mar 2018 15:04:31 +0100 Subject: abort doc scripts on error --- docs/ci | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/ci') diff --git a/docs/ci b/docs/ci index 1584c5e1..b2f2252f 100755 --- a/docs/ci +++ b/docs/ci @@ -1,4 +1,5 @@ #!/bin/bash +set -e # This script gets run from CI to render and upload docs -- cgit v1.2.3 From 4eb6954c7d7b5327c59dfbd86cebfc3ea10c1033 Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Tue, 20 Mar 2018 23:41:24 +0100 Subject: various docs improvements - add clickable anchors for headers - add "outdated" warning for archived docs - add "edit on github" button - beautify template --- docs/ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/ci') diff --git a/docs/ci b/docs/ci index b2f2252f..107e8370 100755 --- a/docs/ci +++ b/docs/ci @@ -3,7 +3,7 @@ set -e # This script gets run from CI to render and upload docs -./build +./build-current # Only upload if we have defined credentials - we only have these defined for # trusted commits (i.e. not PRs). -- cgit v1.2.3