diff options
Diffstat (limited to 'sci-mathematics/coq/files/coq-8.4_p5-hevea.patch')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.4_p5-hevea.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch new file mode 100644 index 000000000000..c76f1dea8e11 --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch @@ -0,0 +1,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@' > $@ + + + ###################################################################### |