Streamline documentation installation Use Automake variables to install and distribute files. Remove check-extra-dist.
2022-04-02T16:39:44