#!/bin/bash set -euo pipefail cd "$( dirname "${BASH_SOURCE[0]}" )" doxygen Doxyfile 2>&1 | ./filter-Doxygen-warning.awk 1>&2 find html -name '*.html' | xargs sed -i '/<\/head>/ i\' cp _redirects html/