From 22a6f5117439372a9e94529fb856a75f7791ebec Mon Sep 17 00:00:00 2001 From: guidotheelen Date: Wed, 22 Apr 2020 09:46:53 +0200 Subject: [PATCH] remove comment --- Makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile index 45c77f587..c4e15c9ff 100644 --- a/Makefile +++ b/Makefile @@ -199,10 +199,6 @@ else @$(ZOPFLIPNG) -y "$<" "$@" 1> /dev/null 2>&1 endif - -# Don't build the font if this linter fails. -# ... - # Make 3.81 can endless loop here if the target is missing but no # prerequisite is updated and make has been invoked with -j, e.g.: # File `font' does not exist.