Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
76de63d66This file is pinned to the selected release. Download the original to open it in your design tool.
#!/usr/bin/env bash
# set shell settings (see https://sipb.mit.edu/doc/safe-shell/)
set -euv -o pipefail
pushd ./dev/doxygen
./make.sh -Werror
popd
mkdir -p ./artifacts
cp -r ./dev/doxygen/output/. ./artifacts/doxygen/