diff doc/make.bat @ 476:1092bab8b3f3

doc: update names following global renaming
author Goffi <goffi@goffi.org>
date Mon, 03 Jan 2022 16:45:55 +0100
parents 105a0772eedd
children
line wrap: on
line diff