diff options
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index d98dc7128..be5dac14c 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -206,6 +206,7 @@ GETOPT_H = @GETOPT_H@ GLIBC21 = @GLIBC21@ GMSGFMT = @GMSGFMT@ GNU_PACKAGE = @GNU_PACKAGE@ +GREP = @GREP@ HAVE__BOOL = @HAVE__BOOL@ HELP2MAN = @HELP2MAN@ INSTALL_DATA = @INSTALL_DATA@ @@ -285,23 +286,30 @@ build_cpu = @build_cpu@ build_os = @build_os@ build_vendor = @build_vendor@ datadir = @datadir@ +datarootdir = @datarootdir@ +docdir = @docdir@ +dvidir = @dvidir@ exec_prefix = @exec_prefix@ host = @host@ host_alias = @host_alias@ host_cpu = @host_cpu@ host_os = @host_os@ host_vendor = @host_vendor@ +htmldir = @htmldir@ includedir = @includedir@ infodir = @infodir@ install_sh = @install_sh@ libdir = @libdir@ libexecdir = @libexecdir@ +localedir = @localedir@ localstatedir = @localstatedir@ mandir = @mandir@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ +pdfdir = @pdfdir@ prefix = @prefix@ program_transform_name = @program_transform_name@ +psdir = @psdir@ sbindir = @sbindir@ sharedstatedir = @sharedstatedir@ sysconfdir = @sysconfdir@ |