diff options
Diffstat (limited to 'www')
| -rwxr-xr-x | www/publish.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/publish.sh b/www/publish.sh index f795ee15..4b284041 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -66,5 +66,5 @@ pandoc $TOC $SMART temp.md -s --css /global.css $OPTS \ # additionally, produce bare file for RSS pandoc $1 > $FILE.bare.html -# generate section id links -sed $FILE.html -i -e 's:^<h2 id="\(.*\)">\(.*\)</h2>:<a href="#\1"><h2 id="\1">\2</h2></a>:g' +# generate section title anchors as [link] +sed $FILE.html -i -e 's_^<h\([123]\) id="\(.*\)">\(.*\)</h\1>_<h\1 style="display: inline;" id="\2">\3</h\1> [<a style="display: inline;" href="#\1">link</a>]_' |