main/check: install documentation files again

With the upgrade to 0.13.0 documentation files were no longer installed
since upstream (incorrectly) checks for the presence of tex (instead of
makeinfo) now before installing documentation files.

See: https://github.com/libcheck/check/pull/212/files#r339109071