diff README @ 24:e4002775d750

doc: log path of generated doc
author Goffi <goffi@goffi.org>
date Mon, 22 May 2023 09:13:02 +0200
parents dc880664a8ec
children
line wrap: on
line diff