diff options
| -rw-r--r-- | man/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
| 329 | $(infodir)/newsticker: newsticker.texi | 329 | $(infodir)/newsticker: newsticker.texi |
| 330 | $(MAKEINFO) newsticker.texi | 330 | $(MAKEINFO) newsticker.texi |
| 331 | newsticker.dvi: newsticker.texi | 331 | newsticker.dvi: newsticker.texi |
| 332 | $(ENVADD) $(TEXI2DVI) ${srcdir}/newsticker.texi | 332 | $(ENVADD) $(TEXI2DVI) $(srcdir)/newsticker.texi |
| 333 | 333 | ||
| 334 | mostlyclean: | 334 | mostlyclean: |
| 335 | - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.* | 335 | - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.* |