diff options
Diffstat (limited to 'makeopts.in')
-rw-r--r-- | makeopts.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makeopts.in b/makeopts.in index 25c23b3c4..89873c1c0 100644 --- a/makeopts.in +++ b/makeopts.in @@ -21,6 +21,7 @@ COMPRESS=@COMPRESS@ BASENAME=@BASENAME@ SHELL=@SHELL@ LN=@LN@ +DOXYGEN=@DOXYGEN@ DOT=@DOT@ STRIP=@STRIP@ WGET=@WGET@ |