comparison doc/Makefile @ 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
comparison
equal deleted inserted replaced
475:9faa902a9cb2 476:1092bab8b3f3