diff options
Diffstat (limited to 'ci/jobs/3-docs/docs.sh')
-rwxr-xr-x | ci/jobs/3-docs/docs.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/ci/jobs/3-docs/docs.sh b/ci/jobs/3-docs/docs.sh deleted file mode 100755 index fe2b96873..000000000 --- a/ci/jobs/3-docs/docs.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -set -exuo pipefail - -./bootstrap -./configure --enable-only-doc - -pushd ./doc/doxygen/ - -make full - -popd |