blob: c76f1dea8e118cee5ff673ccb94652f14800fa4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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@' > $@
######################################################################
|
GitWeb
