log docs/conf.py @ 299:11f4f4d2ec03 default tip

age author description
Thu, 21 May 2026 09:32:35 +0200 Franz Glasner Implement lexer option "strict_tokentype".
Tue, 19 May 2026 18:50:24 +0200 Franz Glasner Optimize documentation layout: use a local ToC where appropriate (lexers, filters)
Tue, 19 May 2026 18:03:48 +0200 Franz Glasner Make a link to the reST source where appropriate to learn about the lexer syntax
Sun, 17 May 2026 18:54:00 +0200 Franz Glasner FIX: More room before the chapter number.
Sat, 16 May 2026 22:28:55 +0200 Franz Glasner Add application level custom variable substitions and get rid of rst_epilog
Sat, 16 May 2026 15:16:42 +0200 Franz Glasner Some overhowl of the docs configuration in conf.py.
Sat, 16 May 2026 12:31:26 +0200 Franz Glasner Use "rev " instead of "rv:" in the revision footer
Sat, 16 May 2026 12:30:58 +0200 Franz Glasner Use the "dev-" prefix instead of "dev:"
Sat, 16 May 2026 01:28:09 +0200 Franz Glasner WS
Fri, 15 May 2026 19:29:23 +0200 Franz Glasner FIX: normalize case in package option again
Fri, 15 May 2026 16:35:34 +0200 Franz Glasner A new interface for my-doc-fonts.sty and a new implementation of option processing.
Fri, 15 May 2026 14:34:11 +0200 Franz Glasner Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Fri, 15 May 2026 05:15:59 +0200 Franz Glasner Title/metadata of PDF documentation builds:
Wed, 13 May 2026 16:00:43 +0200 Franz Glasner Reorder font prefs
Wed, 13 May 2026 14:34:39 +0200 Franz Glasner A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".