diff docs/conf.py @ 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 994172263c6e
children f2b4edf5f6a3
line wrap: on
line diff