windows: Remove obsolete references to doc/gpl.html

diff --git a/windows/GNUmakefile b/windows/GNUmakefile
index 5beec44..68a5957 100755 (executable)
--- a/windows/GNUmakefile
+++ b/windows/GNUmakefile
@@ -164,9 +164,6 @@ webdoc: $(DEST)/doc/developer-manual $(DEST)/doc/faq $(DEST)/doc/user-manual
        cp $(SOURCE)/doc/webserver/p_doc.css $(DEST)/doc/user-manual/
 
 
-$(DEST)/doc/gpl.html: $(SOURCE)/doc/gpl.html $(DEST)/doc
-       $(DOSFILTER) < $< > $@ 
-
 $(DEST)/doc/%.txt : $(SOURCE)/doc/text/%.txt $(DEST)/doc
        $(DOSFILTER) < $< > $@