diff docs/conf.py @ 281:490aed463971

Implement a DOCS make option to build manual pages. BUGS: Just the by default generated local-bsdtools(1) page is included yet. No other manpage ist implemented yet.
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 17 Sep 2022 23:19:20 +0200
parents d9f0c8e00019
children 1fc3b04b39fa
line wrap: on
line diff