diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/doxygen-wrapper | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/doxygen-wrapper b/scripts/doxygen-wrapper new file mode 100755 index 0000000..baa7b26 --- /dev/null +++ b/scripts/doxygen-wrapper @@ -0,0 +1,8 @@ +#!/bin/sh +# Run doxygen such that the working directory is the source root. +# This is needed for various reasons (e.g. relative references in md files). +# Do not use directly. +DOXYGEN="$1" +DOXYFILE="$2" +ABS_TOP_SRCDIR="$3" +cd "$ABS_TOP_SRCDIR" && exec "$DOXYGEN" "$DOXYFILE" |