diff --git a/doc/Makefile.in b/doc/Makefile.in
index 180d4bc8e4c0fa8307dfad9f5bc3ee79df998d4a..b600eb558379f74ccd6f767f624ce9285e05ca6a 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
CYGPATH_W = @CYGPATH_W@
DEFS = @DEFS@
DEPDIR = @DEPDIR@
+DSYMUTIL = @DSYMUTIL@
ECHO = @ECHO@
ECHO_C = @ECHO_C@
ECHO_N = @ECHO_N@
MAKEINFO = @MAKEINFO@
MULTITHREAD_CFLAGS = @MULTITHREAD_CFLAGS@
MULTITHREAD_LDFLAGS = @MULTITHREAD_LDFLAGS@
+NMEDIT = @NMEDIT@
NROFF = @NROFF@
NUMVERS = @NUMVERS@
OBJEXT = @OBJEXT@
RRD_DEFAULT_FONT = @RRD_DEFAULT_FONT@
RUBY = @RUBY@
RUBY_MAKE_OPTIONS = @RUBY_MAKE_OPTIONS@
+SED = @SED@
SET_MAKE = @SET_MAKE@
SHELL = @SHELL@
STRIP = @STRIP@