diff options
Diffstat (limited to 'www')
| -rwxr-xr-x | www/publish.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/www/publish.sh b/www/publish.sh index 55b6660a..f795ee15 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -65,3 +65,6 @@ 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' |