From 35b451403257f9726932461c3ea9335138de93f5 Mon Sep 17 00:00:00 2001 From: Fabian Keil Date: Wed, 9 Dec 2020 19:42:26 +0100 Subject: [PATCH] windows: Remove obsolete references to doc/gpl.html --- windows/GNUmakefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/windows/GNUmakefile b/windows/GNUmakefile index 5beec44e..68a5957e 100755 --- 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) < $< > $@ -- 2.39.2