edits in documentation and configure.ac
Authored by: berndspeiser 2023-03-14
Parent: [r177]
Child: [r179]