Commit 6e467a654d88d759c94cabb48fff7e4ec73275de
2006-05-12T15:05:45
* src/tools/docmaker/tohtml.py (block_footer): Split into... (block_footer_start, block_footer_middle, block_footer_end): This to add navigation buttons. (HtmlFormatter::block_exit): Updated.