mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-02-03 09:46:17 +01:00
ci: Ensure man pages are built alongside docs
Signed-off-by: Philip Withnall <pwithnall@gnome.org> Helps: #3037
This commit is contained in:
parent
9ea0b6edf5
commit
6826d21743
@ -130,6 +130,7 @@ fedora-x86_64:
|
||||
-Dinstalled_tests=true
|
||||
-Ddocumentation=true
|
||||
-Dintrospection=enabled
|
||||
-Dman=true
|
||||
_build
|
||||
- meson compile -C _build
|
||||
- mkdir -p _coverage
|
||||
|
Loading…
Reference in New Issue
Block a user