From c9691e80cb7482ec0f1cf6de06d59e4e9266f1d7 Mon Sep 17 00:00:00 2001 From: "B. Petersen" Date: Tue, 4 Sep 2018 17:32:37 +0200 Subject: [PATCH] meta: replace the title 'Modules' by 'Constants' in the generated documentation --- docs/update.sh | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/docs/update.sh b/docs/update.sh index eb702633..cd4ca65c 100755 --- a/docs/update.sh +++ b/docs/update.sh @@ -4,6 +4,26 @@ UPLOADDIR="../../api" doxygen + + +# HACK: we use the doxygen commands @defgroup and @addtogroup to sort #define's, +# however, doxygen files them under the menu entry "Modules". +# with the following lines, we correct the menu entry title. +# if anyone sees a more elegant solution for this, please change it :) +replace_in_html() { + for currfile in *.js; do + sed -i "s/$1/$2/g" $currfile + done + for currfile in *.html; do + sed -i "s/$1/$2/g" $currfile + done +} +cd html +replace_in_html "Modules" "Constants" +replace_in_html "all modules" "all constants" +cd .. + + mkdir -p ${UPLOADDIR}/docs/ cp -r html/* ${UPLOADDIR}/docs/ read -p "if not errors are printed above, press ENTER to commit and push the changes" @@ -18,4 +38,3 @@ git push popd > /dev/null -