-
Mart Raudsepp authored
The main use case for the docs option seems to be to not spend time on gtk-doc generation. It is rather unexpected this also disables the installation of manpages, which are just installed as-is with no work involved.
016ee471