mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7306b3 | patch | commitdiff
Mark Craig
27.05.2011 07ad0d4fd354202fa3dc27c1c571773cafa50e80
refs
author Mark Craig <mark.craig@forgerock.com>
Monday, June 27, 2011 18:05 +0200
committer Mark Craig <mark.craig@forgerock.com>
Monday, June 27, 2011 18:05 +0200
commit07ad0d4fd354202fa3dc27c1c571773cafa50e80
tree acf050ac1bc7291791e43ec7acc3f521b6930e57 tree | zip | gz
parent 7306b37ae8ea170aa32c92b63b2d384d3f87e2d8 view | diff 
Reduce the TOC in the HTML for the whole book, and generate a basic TOC at the top of the Tools Reference.
1 files modified
4 ■■■■■ changed files
opendj3/src/main/docbkx-stylesheets/html/coredoc.xsl 4 ●●●●● diff | view | raw | blame | history