diff docs/Makefile @ 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
line wrap: on
line diff