From: Petter Reinholdtsen Date: Thu, 22 Feb 2018 11:55:09 +0000 (+0000) Subject: Check URLs using GET, not HEAD, as some servers do not understand the latter. X-Git-Tag: es-printed~486 X-Git-Url: https://pere.pagekite.me/gitweb/text-madewithcc.git/commitdiff_plain/4f798e70c047f9412b94d9ce4c0508d367278014?ds=inline;hp=2ee54a4f11de56981ff44a6268c5ad156862d2e0 Check URLs using GET, not HEAD, as some servers do not understand the latter. --- 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'// && 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