Check URLs using GET, not HEAD, as some servers do not understand the latter.

diff --git a/Makefile b/Makefile
index 286d9349fec92beb2128d31a6b36657488aed16a..4e94cd5da2d7ecbbe13d09afc095552c8919dc76 100644 (file)
--- 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