Commit graph

1 commit

Author SHA1 Message Date
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