diff options
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/Makefile | 1 | ||||
| -rw-r--r-- | win32/makefile.mk | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/win32/Makefile b/win32/Makefile index 326376b4cf..3efc70e494 100644 --- a/win32/Makefile +++ b/win32/Makefile @@ -1197,7 +1197,6 @@ distclean: realclean -if exist $(AUTODIR) rmdir /s /q $(AUTODIR) -if exist $(COREDIR) rmdir /s /q $(COREDIR) -if exist pod2htmd.tmp del pod2htmd.tmp - -if exist pod2htmi.tmp del pod2htmi.tmp -if exist $(HTMLDIR) rmdir /s /q $(HTMLDIR) -del /f ..\t\test_state diff --git a/win32/makefile.mk b/win32/makefile.mk index ced3d0f97c..939ac4b403 100644 --- a/win32/makefile.mk +++ b/win32/makefile.mk @@ -1382,7 +1382,6 @@ distclean: realclean -if exist $(AUTODIR) rmdir /s /q $(AUTODIR) -if exist $(COREDIR) rmdir /s /q $(COREDIR) -if exist pod2htmd.tmp del pod2htmd.tmp - -if exist pod2htmi.tmp del pod2htmi.tmp -if exist $(HTMLDIR) rmdir /s /q $(HTMLDIR) -del /f ..\t\test_state |