another win32 Makefile.gcc (from <Someone>)

another error in the makefile.gcc, not fatal, just a leftover
from the MS makefile. This patch includes both makefile fixes.

diff --git a/sys/winnt/Makefile.gcc b/sys/winnt/Makefile.gcc
index 4957eea6a68bd7d80ab58d27ecb9b734848064df..32b5aa79a125e18235dd0df67d2b1eebe932dbbb 100644 (file)
--- a/sys/winnt/Makefile.gcc
+++ b/sys/winnt/Makefile.gcc
@@ -506,8 +506,6 @@ else
 endif
        $(subst /,\,if exist $(DOC)/guidebook.txt copy $(DOC)/guidebook.txt $(GAMEDIR)/Guidebook.txt)
        $(subst /,\,if exist $(DOC)/nethack.txt copy $(DOC)/nethack.txt $(GAMEDIR)/NetHack.txt)
-       $(subst /,\,@if exist $(SRC)/$(GAME).PDB copy $(SRC)/$(GAME).pdb $(GAMEDIR)/$(GAME).pdb)
-       $(subst /,\,@if exist $(GAMEDIR)/$(GAME).PDB echo NOTE: You may want to remove $(GAMEDIR)/$(GAME).pdb to conserve space)
        $(subst /,\,-copy $(NTSYS)/defaults.nh   $(GAMEDIR)/defaults.nh)
        $(subst /,\,echo install done > $@)