7ecc037d17
* Fix release-docs workflow * Documentation updates - warning as errors when building docs - fixed warnings when building docs - fixed doxygen comments * Miscellaneous fixes * Fix doxygen comments
37 righe
950 B
Bash
Executable File
37 righe
950 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
message()
|
|
{
|
|
echo -e "\n\n##### ${@}... #####\n"
|
|
}
|
|
|
|
WORK_DIR=$(cd $(dirname ${BASH_SOURCE[0]}) && pwd)
|
|
SOURCE_DIR=$(cd ${WORK_DIR}/../.. &> /dev/null && pwd)
|
|
|
|
message "Working directory is ${WORK_DIR}"
|
|
message "Source directory is ${SOURCE_DIR}"
|
|
|
|
message "Changing directory to ${WORK_DIR}"
|
|
cd ${WORK_DIR}
|
|
|
|
message "Generating omnitrace.dox"
|
|
cmake -DSOURCE_DIR=${SOURCE_DIR} -P ${WORK_DIR}/generate-doxyfile.cmake
|
|
|
|
message "Generating doxygen xml files"
|
|
doxygen omnitrace.dox
|
|
doxygen omnitrace.dox
|
|
|
|
message "Building html documentation"
|
|
make html SPHINXOPTS="-W --keep-going -n"
|
|
|
|
if [ -d ${SOURCE_DIR}/docs ]; then
|
|
message "Removing stale documentation in ${SOURCE_DIR}/docs/"
|
|
rm -rf ${SOURCE_DIR}/docs/*
|
|
|
|
message "Adding nojekyll to docs/"
|
|
cp -r ${WORK_DIR}/.nojekyll ${SOURCE_DIR}/docs/.nojekyll
|
|
|
|
message "Copying source/docs/_build/html/* to docs/"
|
|
cp -r ${WORK_DIR}/_build/html/* ${SOURCE_DIR}/docs/
|
|
fi
|