diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-10-24 18:36:19 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-10-24 18:37:59 +0200 |
commit | 604621edc81f1c439af5c36ee31c6977c6c3f9f0 (patch) | |
tree | 515778a800d034723c2431a3c0c6ad3bbe100853 | |
parent | 884b6cc6c12bd557085cdaa4972d593684c9cc1a (diff) |
Fix generation of the index_urls.txt file.
Hevea has stopped producing HTML4 code two years ago. So the old sed
expression was producing an empty index file for any user with a
non-deprecated version of hevea.
-rw-r--r-- | Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc index 220197445..6dc27e138 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -146,7 +146,7 @@ refman-quick: ###################################################################### $(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@' > $@ ###################################################################### |