diff options
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 1b09752c507..3c0ac24587f 100644 --- a/configure.ac +++ b/configure.ac | |||
| @@ -1002,7 +1002,7 @@ AC_SUBST(INFO_OPTS) | |||
| 1002 | if test $opsys = mingw32; then | 1002 | if test $opsys = mingw32; then |
| 1003 | DOCMISC_DVI_W32=efaq-w32.dvi | 1003 | DOCMISC_DVI_W32=efaq-w32.dvi |
| 1004 | DOCMISC_HTML_W32=efaq-w32.html | 1004 | DOCMISC_HTML_W32=efaq-w32.html |
| 1005 | DOCMISC_INFO_W32=efaq-w32.info | 1005 | DOCMISC_INFO_W32=efaq-w32 |
| 1006 | DOCMISC_PDF_W32=efaq-w32.pdf | 1006 | DOCMISC_PDF_W32=efaq-w32.pdf |
| 1007 | DOCMISC_PS_W32=efaq-w32.ps | 1007 | DOCMISC_PS_W32=efaq-w32.ps |
| 1008 | else | 1008 | else |