diff --git a/configure.ac b/configure.ac index 4856736ec9c7ce463dbd5a70e1df13077a45f6e1..adae13e45d3e340c9e1e229f10b8d1b1baae94f4 100644 --- a/configure.ac +++ b/configure.ac @@ -1000,7 +1000,7 @@ AC_SUBST(INFO_OPTS) if test $opsys = mingw32; then DOCMISC_DVI_W32=efaq-w32.dvi DOCMISC_HTML_W32=efaq-w32.html - DOCMISC_INFO_W32=efaq-w32.info + DOCMISC_INFO_W32=efaq-w32 DOCMISC_PDF_W32=efaq-w32.pdf DOCMISC_PS_W32=efaq-w32.ps else