From 2221fde48fb68ec9c3746100c5bf6b07f617ce40 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 22 Jan 2020 12:05:12 +0100
Subject: make Makefiles less diverse

---
 Gib_Frieden_Herr_gib_Frieden/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Gib_Frieden_Herr_gib_Frieden')

diff --git a/Gib_Frieden_Herr_gib_Frieden/Makefile b/Gib_Frieden_Herr_gib_Frieden/Makefile
index 40b59ae..1b753e8 100644
--- a/Gib_Frieden_Herr_gib_Frieden/Makefile
+++ b/Gib_Frieden_Herr_gib_Frieden/Makefile
@@ -1,5 +1,5 @@
 CURDOC=$(shell basename "$(CURDIR)")
-STROPHEN=[1-9]\|1[01]
+STROPHEN=[^%]
 
 ifeq ($(FUER),ewe)
   SPEZIFISCH=\#(set! paper-alist (cons '(\"kindle\" . (cons (* 210 mm) (* 130 mm))) paper-alist))\n\#(set-default-paper-size \"kindle\")
-- 
cgit v1.2.3-70-g09d2