diff options
author | Javier Jardón <jjardon@gnome.org> | 2014-07-22 17:27:15 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2014-07-22 17:37:00 +0100 |
commit | 2eb7769384b7da62247bdb2b9a2f4a91a9c4f308 (patch) | |
tree | 1931a03c886e05ecd949e341cbbd24209b69af3d | |
parent | a68f5dfd7662767b7b9822090b70bc5bd145c50c (diff) | |
download | polkit-2eb7769384b7da62247bdb2b9a2f4a91a9c4f308.tar.gz |
Add morph file to disable man pages
-rw-r--r-- | polkit.morph | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/polkit.morph b/polkit.morph new file mode 100644 index 0000000..34a0813 --- /dev/null +++ b/polkit.morph @@ -0,0 +1,6 @@ +name: polkit +kind: chunk +build-system: autotools +configure-commands: +- NOCONFIGURE=1 ./autogen.sh +- ./configure --prefix="$PREFIX" --disable-man-pages |