diff options
Diffstat (limited to 'autogen/Makefile.in')
| -rw-r--r-- | autogen/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/autogen/Makefile.in b/autogen/Makefile.in index 2122ca2d169..4ea9aeb3561 100644 --- a/autogen/Makefile.in +++ b/autogen/Makefile.in @@ -423,6 +423,11 @@ DEFS = @DEFS@ DEPDIR = @DEPDIR@ DEPFLAGS = @DEPFLAGS@ DESLIB = @DESLIB@ +DOCMISC_DVI_W32 = @DOCMISC_DVI_W32@ +DOCMISC_HTML_W32 = @DOCMISC_HTML_W32@ +DOCMISC_INFO_W32 = @DOCMISC_INFO_W32@ +DOCMISC_PDF_W32 = @DOCMISC_PDF_W32@ +DOCMISC_PS_W32 = @DOCMISC_PS_W32@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ |