Source Mage code commit list

["Peng Chang (Charles)" <scm AT sourcemage.org>]

GIT changes to master grimoire by Peng Chang (Charles) <chp AT sourcemage.org>:

 gnome2-libs/gnome-desktop/CONFIGURE |    1 +
 gnome2-libs/gnome-desktop/HISTORY   |    5 +++++
 gnome2-libs/gnome-desktop/PRE_BUILD |    6 ++++++
 3 files changed, 12 insertions(+)

New commits:
commit 113f73d9e5373e661a9cb94a5ad386a3486fda2e
Author: Peng Chang (Charles) <chp AT sourcemage.org>
Commit: Peng Chang (Charles) <chp AT sourcemage.org>

    gnome-deskop: added an option not to build annoying docs

diff --git a/gnome2-libs/gnome-desktop/CONFIGURE 
b/gnome2-libs/gnome-desktop/CONFIGURE
new file mode 100755
index 0000000..ea7e2eb
--- /dev/null
+++ b/gnome2-libs/gnome-desktop/CONFIGURE
@@ -0,0 +1 @@
+config_query BUILDDOC "Do you want to build annoy and unnecessary docs?" n
diff --git a/gnome2-libs/gnome-desktop/HISTORY 
b/gnome2-libs/gnome-desktop/HISTORY
index bbe1068..c3a70dd 100644
--- a/gnome2-libs/gnome-desktop/HISTORY
+++ b/gnome2-libs/gnome-desktop/HISTORY
@@ -1,3 +1,8 @@
+2009-07-27 Peng Chang (Charles) <chp AT sourcemage.org>
+       * CONFIGURE, PRE_BUILD: added an option not to build docs in
+         desktop-docs directory, which I find takes extremely long time
+         to build just fdl, gpl, lgpl... and eventually fails.
+
 2009-07-06 Ladislav Hagara <hgr AT vabo.cz>
        * DETAILS: 2.26.3
 
diff --git a/gnome2-libs/gnome-desktop/PRE_BUILD 
b/gnome2-libs/gnome-desktop/PRE_BUILD
new file mode 100755
index 0000000..1755d75
--- /dev/null
+++ b/gnome2-libs/gnome-desktop/PRE_BUILD
@@ -0,0 +1,6 @@
+default_pre_build  &&
+
+if [ $BUILDDOC == "n" ] ; then
+  cd $SOURCE_DIRECTORY  &&
+  sedit '/desktop-docs/d' Makefile.in
+fi