"docs" target is empty with "--disable-install-doc"