diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-07-20 17:28:17 +0100 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-07-20 17:28:17 +0100 |
commit | e319043d5039e32383cc1e9617b35b005647e29d (patch) | |
tree | 74ea089fcd53bdafd26d8092691b4fe5a37e6f6e | |
parent | 68269528f991db9a0f729a325a659512fcd9a42d (diff) | |
download | gnome-doc-utils-baserock/morph.tar.gz |
gnome-doc-utils.morph: Read to disable documentationbaserock/morph
This avoids us requiring the Docbook DTDs
-rw-r--r-- | gnome-doc-utils.morph | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gnome-doc-utils.morph b/gnome-doc-utils.morph new file mode 100644 index 0000000..307bd84 --- /dev/null +++ b/gnome-doc-utils.morph @@ -0,0 +1,9 @@ +{ + "name": "gnome-doc-utils", + "kind": "chunk", + "build-system": "autotools", + "configure-commands": [ + "NOCONFIGURE=1 ./autogen.sh", + "./configure --prefix=\"$PREFIX\" --disable-documentation --disable-scrollkeeper" + ] +} |