Wed, 19 May 2021 11:15:13 +0200 | wenzelm | clarified bash scripts, with public interfaces for user-defined Document_Build.Engine; | changeset | files |
Wed, 19 May 2021 10:41:28 +0200 | wenzelm | tuned signature; | changeset | files |
Tue, 18 May 2021 22:02:21 +0200 | wenzelm | option document_preprocessor; | changeset | files |