diff options
| author | Javier Jardón <javier.jardon@codethink.co.uk> | 2014-07-20 03:18:07 +0100 |
|---|---|---|
| committer | Javier Jardón <javier.jardon@codethink.co.uk> | 2014-07-20 03:22:19 +0100 |
| commit | eeb8ba61b0da54a03a3fa3e41deee7afa1b4f441 (patch) | |
| tree | bb47d3bb040e5ba8927862553fdceca4c6f728d6 | |
| parent | a6cfb9f6cbf40d249b2acf10d85f9abd1c3b7278 (diff) | |
| download | dconf-baserock/gnome.tar.gz | |
Add morph file to disable man pagesbaserock/gnome
| -rw-r--r-- | dconf.morph | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dconf.morph b/dconf.morph new file mode 100644 index 0000000..b9ea35a --- /dev/null +++ b/dconf.morph @@ -0,0 +1,5 @@ +name: dconf +kind: chunk +build-system: autotools +configure-commands: +- ./autogen.sh --prefix="$PREFIX" --disable-man |