comparison docs/make.bat @ 289:e6ccee6a7144

Also build the HTML documentation. This is currently just for checking proper generation.
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 18 Sep 2022 10:41:17 +0200
parents 86d8929e4747
children
comparison
equal deleted inserted replaced
288:c9f14ccd581e 289:e6ccee6a7144