[Jenkins]Jenkins
log in

Changes

Summary

  1. Basic TOC infrastructure (details)
  2. TOC: Handle divs without id -> use head ids (details)
  3. TOC doc (details)
Commit 3e94773873758d4c34213866deba901562a59df7 by Thorsten Vitt
Basic TOC infrastructure
The file was modified src/main/java/info/textgrid/services/aggregator/REST.java (diff)
The file was modified transformations.xpr (diff)
The file was modified src/main/java/info/textgrid/services/aggregator/html/HTMLWriter.java (diff)
The file was modified src/main/webapp/stylesheets/tohtml.xsl (diff)
Commit 41cb2a0e0771e33495ea284903167d1b11512995 by Thorsten Vitt
TOC: Handle divs without id -> use head ids
The file was modified transformations.xpr (diff)
The file was modified src/main/webapp/stylesheets/tohtml.xsl (diff)
The file was modified docs/html.rst (diff)