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 /strata/gnome/dconf.morph | |
| parent | ed37a1921bdce49dcdaaf79bf655c7a6b883178d (diff) | |
| download | definitions-d4d3d45c7a2f944f46edc5beff508593f9c8de66.tar.gz | |
Disable man pages in dconf
Diffstat (limited to 'strata/gnome/dconf.morph')
| -rw-r--r-- | strata/gnome/dconf.morph | 5 |
1 files changed, 5 insertions, 0 deletions
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 |