Commit graph

2 commits

Author SHA1 Message Date
Bradley M. Kuhn
4816cece30 Correct problematic unclosed a tag. 2014-11-07 00:54:44 -05:00
Bradley M. Kuhn
816c59aa3d Hack to get all menus to appear in right places.
The only way I could figure out how to get different output for
monolithic and section-based versions was to do this rather odd hack,
which uses tex4ht.usr to conditionally insert specific bootstrap HTML
for the mention that will allow proper formatting.
2014-11-07 00:50:51 -05:00