diff options
| author |  David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2012-12-18 22:30:28 +0800 |
|---|---|---|
| committer |  ridiculousfish <corydoras@ridiculousfish.com> | 2012-12-26 21:10:29 -0800 |
| commit | d0dabb0ff6810e1e50b5292b5418817184b0eed4 (patch) | |
| tree | f7f706196d14fddcdf47f0e8960e9457d969de95 | |
| parent | 27e4ece24f0913e561ad7cddc2ff91dc1ce6be30 (diff) | |
documentation TOC: remove duplicate name attributes, use id attribute instead
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 47f83e9f..7ef64e90 100644 --- a/Makefile.in +++ b/Makefile.in @@ -373,8 +373,8 @@ toc.txt: $(subst index.hdr,index.hdr.in,$(HDR_FILES)) NAME=`basename $$i .hdr`; \ NAME=`basename $$NAME .hdr.in`; \ sed <$$i >>toc.tmp -n \ - -e 's,.*\\page *\([^ ]*\) *\(.*\)$$,- <a href="'$$NAME'.html" name="toc-'$$NAME'">\2</a>,p' \ - -e 's,.*\\section *\([^ ]*\) *\(.*\)$$, - <a href="'$$NAME'.html#\1" name="toc-'$$NAME'">\2</a>,p'; \ + -e 's,.*\\page *\([^ ]*\) *\(.*\)$$,- <a href="'$$NAME'.html" id="toc-'$$NAME'">\2</a>,p' \ + -e 's,.*\\section *\([^ ]*\) *\(.*\)$$, - <a href="'$$NAME'.html#\1">\2</a>,p'; \ done mv toc.tmp $@ |