From 1d81d8914bef9c130e6d074b2f7c1ad15e97cc66 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Wed, 4 Jul 2007 14:33:08 +0200 Subject: [PATCH] remove GPL from the files to be converted by grutatxt The web page links directly to www.gnu.org, no need to provide an html version of this file. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index d44716e5..c2e7830a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -57,7 +57,7 @@ PICS := $(wildcard pics/paraslash/*.jpg) gengetopts := $(wildcard *.ggo) gengetopts_c := $(gengetopts:.ggo=.cmdline.c) gengetopts_h := $(gengetopts:.ggo=.cmdline.h) -grutatxt := COPYING NEWS README.mysql CREDITS INSTALL README FEATURES GPL +grutatxt := COPYING NEWS README.mysql CREDITS INSTALL README FEATURES grutatxt_html := $(grutatxt:=.html) html_in := $(wildcard web/*.in.html) gen_html := $(subst web/,web/sync/,$(html_in)) -- 2.39.5