Skip to content

ci: Don't build gnome-shell's man pages

Florian Müllner requested to merge fmuellner/mutter:no-man into master

One of the man pages is now generated using asciidoc, which is missing from the CI image. But given that this doesn't depend on mutter in any way, just disable man pages in the gnome-shell build instead of updating the Dockerfile.

Merge request reports