--- coq-8.4pl5-orig/Makefile.doc	2014-10-22 19:30:53.000000000 +1100
+++ coq-8.4pl5/Makefile.doc	2015-02-15 15:28:34.797911303 +1100
@@ -148,7 +148,7 @@
 ######################################################################
 
 $(INDEXURLS): $(INDEXES)
-	cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@
+	cat $< | grep li-indexenv | grep href | sed -e 's@.*>\([^<]*\)</span>.*, <a href="\([^"]*\)">.*@\1,\2@' > $@
 
 
 ######################################################################