diff options
Diffstat (limited to 'documentation/convert_doxyfile')
| -rwxr-xr-x | documentation/convert_doxyfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/convert_doxyfile b/documentation/convert_doxyfile index 57c3c28a6..1e06e760a 100755 --- a/documentation/convert_doxyfile +++ b/documentation/convert_doxyfile @@ -31,7 +31,7 @@ LOGFILE="$4" # get doxygen version -VERSION=$($DOXYGEN --version) +VERSION=$("$DOXYGEN" --version) # write info header to LOGFILE @@ -41,4 +41,4 @@ echo "" >> $LOGFILE # convert doxygen file and append errors and warnings to LOGFILE -${DOXYGEN} -u -s - < $INFILE > $OUTFILE 2>> $LOGFILE +"${DOXYGEN}" -u -s - < $INFILE > $OUTFILE 2>> $LOGFILE |