Disable manpage on debian

This commit is contained in:
Nicolas Werner 2022-09-30 03:45:39 +02:00
parent c34c9f9035
commit 1ea5449c18
No known key found for this signature in database
GPG key ID: C8D75E610773F2D9

View file

@ -96,6 +96,7 @@ build-gcc10:
-DCMAKE_BUILD_TYPE=Release -DHUNTER_CONFIGURATION_TYPES=Release -DCMAKE_BUILD_TYPE=Release -DHUNTER_CONFIGURATION_TYPES=Release
-DCI_BUILD=ON -DFETCHCONTENT_QUIET=OFF -DCI_BUILD=ON -DFETCHCONTENT_QUIET=OFF
-DJSON_ImplicitConversions=OFF -DJSON_ImplicitConversions=OFF
-DMAN=OFF
- cmake --build build - cmake --build build
after_script: after_script:
- mv ../.hunter .hunter - mv ../.hunter .hunter