foot-pgo: ensure manual pages are installed when scdoc available

This commit is contained in:
Dylan Araps 2021-07-27 17:01:17 +03:00
parent dfb4b51cc3
commit 0a025705d7
No known key found for this signature in database
GPG Key ID: 13295DAC2CF13B5C
1 changed files with 1 additions and 1 deletions

View File

@ -24,7 +24,6 @@ meson \
--prefix=/usr \
--buildtype=release \
--force-fallback-for=fcft,tllist \
-Ddocs=disabled \
-Dime=false \
-Db_lto=true \
../..
@ -71,6 +70,7 @@ ninja
ninja install
rm -rf \
"$DESTDIR/usr/share/doc" \
"$DESTDIR/usr/share/zsh" \
"$DESTDIR/usr/share/fish" \
"$DESTDIR/usr/share/bash-completion"