Exercise Autotools build in CI
This would have avoided the issue fixed by !82 (merged).
-
CI: Reinstate Autotools build
Until we are ready to remove Autotools altogether (!53 (closed)) we should make sure it works.
-
CI: Exercise Autotools distcheck
-
build: Build documentation from source during distcheck
This verifies that we can.