diff options
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index e71f9b01..0419857a 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -219,6 +219,7 @@ PACKAGE_TARNAME = @PACKAGE_TARNAME@ PACKAGE_URL = @PACKAGE_URL@ PACKAGE_VERSION = @PACKAGE_VERSION@ PATH_SEPARATOR = @PATH_SEPARATOR@ +PTHREAD_LIB = @PTHREAD_LIB@ RANLIB = @RANLIB@ SED = @SED@ SET_MAKE = @SET_MAKE@ @@ -265,8 +266,6 @@ localstatedir = @localstatedir@ mandir = @mandir@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ -os_cflags = @os_cflags@ -os_libs = @os_libs@ pdfdir = @pdfdir@ prefix = @prefix@ program_transform_name = @program_transform_name@ |