diff docs/make.bat @ 294:c2e2fed957ed

- Compute a dynmic list of manual pages - Move the sources of the manual pages into a section-specific subdir
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 18 Sep 2022 15:32:22 +0200
parents 86d8929e4747
children
line wrap: on
line diff