# HG changeset patch # User Christopher Rogers # Date 1273072021 0 # Node ID c38d85e890c2076452e5f250761352d45f75f166 # Parent b6374ed82c8b3a63e0d34d2e54ef1ae001429516 Disable docmentation for gtkmm. diff -r b6374ed82c8b -r c38d85e890c2 gtkmm/receipt --- a/gtkmm/receipt Wed May 05 20:42:59 2010 +0200 +++ b/gtkmm/receipt Wed May 05 15:07:01 2010 +0000 @@ -23,6 +23,7 @@ --prefix=/usr \ --infodir=/usr/share/info \ --mandir=/usr/share/man \ + --disable-docmentation \ $CONFIGURE_ARGS && make && make DESTDIR=$PWD/_pkg install