diff configure @ 344:d60728b1f4a1

- tweaked html doc generation again so that it'll pick up dyncall.org's css file correctly (all in all not clean, see comment in source)
author Tassilo Philipp
date Tue, 07 Jan 2020 11:34:31 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff