Avoiding the development script to generate documentation to be installed.

It simply wont work anyway.
This commit is contained in:
sergiotarxz 2022-03-18 07:36:33 +01:00
parent d90aa43644
commit 8ad9fcb01f