diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index bec0327828..c87115dcbd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -18,6 +18,7 @@ AUTOCONF = autoconf MKFILES = @MAKEFILES@ BASERUBY = @BASERUBY@ TEST_RUNNABLE = @TEST_RUNNABLE@ +DOXYGEN = @DOXYGEN@ prefix = @prefix@ exec_prefix = @exec_prefix@ |