diff options
Diffstat (limited to 'makeinclude.in')
| -rw-r--r-- | makeinclude.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makeinclude.in b/makeinclude.in index 1e1c52a20..500f3dbbe 100644 --- a/makeinclude.in +++ b/makeinclude.in @@ -39,6 +39,7 @@ VPATH = @srcdir@ # programs we use... HTMLDOC = @HTMLDOC@ +DOXYDOC = @DOXYDOC@ INSTALL = @INSTALL@ LN = ln -s NROFF = @NROFF@ |