diff --git a/man/makefile.w32-in b/man/makefile.w32-in index 45881cee10c..df5d4c4521e 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -329,7 +329,7 @@ url.dvi: url.texi $(infodir)/newsticker: newsticker.texi $(MAKEINFO) newsticker.texi newsticker.dvi: newsticker.texi - $(ENVADD) $(TEXI2DVI) ${srcdir}/newsticker.texi + $(ENVADD) $(TEXI2DVI) $(srcdir)/newsticker.texi mostlyclean: - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.*