diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 847ac6153..2ea70d942 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -64,6 +64,7 @@ GETLOADAVG_LIBS = @GETLOADAVG_LIBS@ GLIBC21 = @GLIBC21@ GMSGFMT = @GMSGFMT@ GNU_PACKAGE = @GNU_PACKAGE@ +HAVE__BOOL = @HAVE__BOOL@ HELP2MAN = @HELP2MAN@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ @@ -116,6 +117,7 @@ SEQ_LIBM = @SEQ_LIBM@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SQRT_LIBM = @SQRT_LIBM@ +STDBOOL_H = @STDBOOL_H@ STRIP = @STRIP@ U = @U@ USE_NLS = @USE_NLS@ |