From 4f798e70c047f9412b94d9ce4c0508d367278014 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@hungry.com>
Date: Thu, 22 Feb 2018 11:55:09 +0000
Subject: [PATCH] Check URLs using GET, not HEAD, as some servers do not
 understand the latter.

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

diff --git a/Makefile b/Makefile
index 286d934..4e94cd5 100644
--- a/Makefile
+++ b/Makefile
@@ -114,7 +114,7 @@ lint-nb: $(SOURCE).nb.xml
 
 check-urls:
 	retval=0; for u in $$(perl -n -e'/<ulink url="(.+)"\/>/ && print "$$1\n"' MadewithCreativeCommonsmostup-to-dateversion.xml | sort -u); do \
-	  HEAD -H "User-Agent: Docbook XML URL checker" "$$u" > /dev/null || echo "error fetching $$u"; retval=1; \
+	  GET -H "User-Agent: Docbook XML URL checker" "$$u" > /dev/null || echo "error fetching $$u"; retval=1; \
 	done; exit $$retval
 
 # Experimental build rule to test Docbook XSL + FOP processor 
-- 
2.47.2