diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-22 16:32:24 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2007-09-22 16:32:24 +0000 |
| commit | 7bde880fa8cf2e7d3413a7ede7ae5b604a97e85b (patch) | |
| tree | 3724032d76ffdc46e9a87a7999b2f4bc8d7b9857 /doc/tips | |
| parent | d4117e20e35ecfd0686997a3aa00cbb0dee9eaee (diff) | |
* map: Render pages on the way to subpages whose parent pages
are not included in the map. Include special styling for such pages.
* map: Remove common prefixes and don't over-indent.
* Add class option to htmllink().
Diffstat (limited to 'doc/tips')
0 files changed, 0 insertions, 0 deletions