aboutsummaryrefslogtreecommitdiff
path: root/ci/jobs/2-docs/docs.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/jobs/2-docs/docs.sh')
-rwxr-xr-xci/jobs/2-docs/docs.sh11
1 files changed, 11 insertions, 0 deletions
diff --git a/ci/jobs/2-docs/docs.sh b/ci/jobs/2-docs/docs.sh
new file mode 100755
index 000000000..fe2b96873
--- /dev/null
+++ b/ci/jobs/2-docs/docs.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+set -exuo pipefail
+
+./bootstrap
+./configure --enable-only-doc
+
+pushd ./doc/doxygen/
+
+make full
+
+popd