diff options
Diffstat (limited to 'autogen/Makefile.in')
| -rw-r--r-- | autogen/Makefile.in | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/autogen/Makefile.in b/autogen/Makefile.in index 4ea9aeb3561..e86bfe0468e 100644 --- a/autogen/Makefile.in +++ b/autogen/Makefile.in @@ -423,11 +423,7 @@ 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@ +DOCMISC_W32 = @DOCMISC_W32@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ |