9 lines
116 B
Bash
Executable file
9 lines
116 B
Bash
Executable file
#!/bin/bash
|
|
#
|
|
# CI job to run the documentation build
|
|
|
|
set -ev
|
|
|
|
cd $GITHUB_WORKSPACE/doc
|
|
|
|
SPHINXOPTS="-W" make html
|