create table-of-contents
Merge pull request #60 from groessler/gh-pages_to_pull

create table-of-contents
Minor adjustment.
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages-sgml
adapt to upstream *.html changes