diff options
| -rw-r--r-- | doc/misc/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/makefile.w32-in b/doc/misc/makefile.w32-in index 94b54ca1d44..d459878cfec 100644 --- a/doc/misc/makefile.w32-in +++ b/doc/misc/makefile.w32-in | |||
| @@ -350,7 +350,7 @@ clean: mostlyclean | |||
| 350 | $(infodir)/remember* $(infodir)/nxml-mode* \ | 350 | $(infodir)/remember* $(infodir)/nxml-mode* \ |
| 351 | $(infodir)/epa* $(infodir)/sasl* \ | 351 | $(infodir)/epa* $(infodir)/sasl* \ |
| 352 | $(infodir)/mairix-el* $(infodir)/auth* \ | 352 | $(infodir)/mairix-el* $(infodir)/auth* \ |
| 353 | $(infodir)/eieio* $(infodir)ede* | 353 | $(infodir)/eieio* $(infodir)/ede* |
| 354 | 354 | ||
| 355 | distclean: clean | 355 | distclean: clean |
| 356 | - $(DEL) makefile | 356 | - $(DEL) makefile |