Keep src tree clean by running tests in the build directory#431

Merged

mm2 merged 2 commits intomm2:masterfrom thomas-weber:keep-src-clean

Jan 2, 2024

Commits on Dec 30, 2023

Run tests in the build directory
Thomas Weber
committed

Commits on Dec 31, 2023

Fix a groff warning about the missing "p" macro.
Thomas Weber
committed