Skip to content

some minor Autotools clean up

See commit messages for details.

Merge request reports