| --- 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@' > $@ |
| |
| |
| ###################################################################### |
