Allow killing 'make docs' by Ctrl-c.
This commit is contained in:
parent
315d2ddc16
commit
1195d989d4
1 changed files with 1 additions and 1 deletions
|
@ -89,7 +89,7 @@ do
|
||||||
echo "Ref-Tags: $DOXYGEN_REF_TAGFILES"
|
echo "Ref-Tags: $DOXYGEN_REF_TAGFILES"
|
||||||
echo "Title: $DOXYGEN_PROJECTNAME"
|
echo "Title: $DOXYGEN_PROJECTNAME"
|
||||||
|
|
||||||
nice -15 doxygen "$DOXYGEN_CFG"
|
nice -15 doxygen "$DOXYGEN_CFG" || exit 1
|
||||||
|
|
||||||
# setup referenced tagfiles for next round
|
# setup referenced tagfiles for next round
|
||||||
DOXYGEN_REF_TAGFILES="$DOXYGEN_REF_TAGFILES $DOXYGEN_OUR_TAGFILE=$BASE_URL/$PROJECT/html"
|
DOXYGEN_REF_TAGFILES="$DOXYGEN_REF_TAGFILES $DOXYGEN_OUR_TAGFILE=$BASE_URL/$PROJECT/html"
|
||||||
|
|
Loading…
Reference in a new issue