diff options
Diffstat (limited to 'src/util/Makefile.in')
| -rw-r--r-- | src/util/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Makefile.in b/src/util/Makefile.in index 5627e01a9..3ac892aba 100644 --- a/src/util/Makefile.in +++ b/src/util/Makefile.in @@ -199,6 +199,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ |