diff doc/make.bat @ 161:4643763b39ee

Docu: print a local table of contents in the introduction
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 21 Feb 2019 23:20:49 +0100
parents 2ff1e8f02dc7
children
line wrap: on
line diff