Following up on #1931 (comment): we're currently running make install and cmake --install in CI, but not really checking that they do what they're supposed to.

Two options:

• Just stop doing it.
• Try to assert that installation does work, e.g. command -v rgbasm and MANPAGER=head man 5 rgbasm?