diff options
| author | Albrecht Schlosser <albrechts.fltk@online.de> | 2024-01-11 00:33:22 +0100 |
|---|---|---|
| committer | Albrecht Schlosser <albrechts.fltk@online.de> | 2024-01-11 01:47:07 +0100 |
| commit | 32514e6d2b0dbcd0dff9f4da65ca6d6e9596feab (patch) | |
| tree | 8aacce936ab8f47208a459b30a19dd11dbc99920 /documentation/make_header | |
| parent | 08e64283aacf0c26453c1be956bf15569b6d3585 (diff) | |
Quote doxygen command where necessary
... if the doxygen path includes spaces.
Done for configure/make + CMake.
Diffstat (limited to 'documentation/make_header')
| -rwxr-xr-x | documentation/make_header | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/make_header b/documentation/make_header index a8909b85a..58df10af2 100755 --- a/documentation/make_header +++ b/documentation/make_header @@ -48,7 +48,7 @@ fi # with our PDF document title page (LaTeX code) and write the # result to $DOXY_HEAD. -$DOXY_CMD -w latex $DOXY_TEMP /dev/null /dev/null +"$DOXY_CMD" -w latex $DOXY_TEMP /dev/null /dev/null # combine three parts of these files to the output file # using '( ... ) > $DOXY_HEAD' to write (concatenate) |