doc: Simply use dom parser to insert head section
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:53:38 +0000 (10:53 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:53:38 +0000 (10:53 -0500)
commitd909c0b5e08748f890eff6ad60cdc9c0e986368b
treed90a20282a991908cac03693d4bbae2f00982cc5
parent2cd872764dc4ce20d210ec0084803aad10faa9b7
doc: Simply use dom parser to insert head section
doc/assets/head.html [new file with mode: 0644]
doc/dot.latex2html-init
doc/l2h_sanitize_markup.sh
doc/markupSanitizer.py