diff options
author | Javier Jardón <jjardon@gnome.org> | 2014-10-11 13:36:01 +0000 |
---|---|---|
committer | James Thomas <james.thomas@codethink.co.uk> | 2014-10-11 16:29:59 -0400 |
commit | d4d3d45c7a2f944f46edc5beff508593f9c8de66 (patch) | |
tree | b013dac9b9a187fb1269875134248eabea707447 | |
parent | ed37a1921bdce49dcdaaf79bf655c7a6b883178d (diff) | |
download | definitions-d4d3d45c7a2f944f46edc5beff508593f9c8de66.tar.gz |
Disable man pages in dconf
-rw-r--r-- | strata/gnome.morph | 1 | ||||
-rw-r--r-- | strata/gnome/dconf.morph | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/strata/gnome.morph b/strata/gnome.morph index 54e77311..9a9162ce 100644 --- a/strata/gnome.morph +++ b/strata/gnome.morph @@ -11,6 +11,7 @@ build-depends: - morph: strata/systemd-new.morph chunks: - name: dconf + morph: strata/gnome/dconf.morph repo: upstream:dconf ref: master build-depends: [] diff --git a/strata/gnome/dconf.morph b/strata/gnome/dconf.morph new file mode 100644 index 00000000..b9ea35a7 --- /dev/null +++ b/strata/gnome/dconf.morph @@ -0,0 +1,5 @@ +name: dconf +kind: chunk +build-system: autotools +configure-commands: +- ./autogen.sh --prefix="$PREFIX" --disable-man |