Skip to content
[Jenkins]Jenkins
log in
Success

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 modifiedtransformations.xpr
The file was modifiedsrc/main/java/info/textgrid/services/aggregator/html/HTMLWriter.java
The file was modifiedsrc/main/webapp/stylesheets/tohtml.xsl
The file was modifiedsrc/main/java/info/textgrid/services/aggregator/REST.java
Commit 41cb2a0e0771e33495ea284903167d1b11512995 by Thorsten Vitt
TOC: Handle divs without id -> use head ids
The file was modifiedsrc/main/webapp/stylesheets/tohtml.xsl
The file was modifiedtransformations.xpr
Commit 398b0c6abdd1897d6b946c62769cfb51938cea98 by Thorsten Vitt
TOC doc
The file was modifieddocs/html.rst