summaryrefslogtreecommitdiff
path: root/packages/gnome/gnome-desktop
diff options
context:
space:
mode:
authorMatthias Hentges <oe@hentges.net>2007-05-24 17:06:27 +0000
committerMatthias Hentges <oe@hentges.net>2007-05-24 17:06:27 +0000
commit52ad68d8311927e27b51d88a57aaa98ee79dbf93 (patch)
treeae451c9838c4caa5a6a39eabe9ce1dc4b4accffa /packages/gnome/gnome-desktop
parent34dde4e4767cc985e246b24f5c4e2eb5934f3b4c (diff)
parent4b354150f6b88b8507f1fab1bc6df48103f84b10 (diff)
merge of '2e1d9e05c5b3d9382dab5905a71f66a069c6915d'
and '6f3630e0c94aef5b64cc3ea808814c67c4fb0fd1'
Diffstat (limited to 'packages/gnome/gnome-desktop')
-rw-r--r--packages/gnome/gnome-desktop/no-desktop-docs.patch10
1 files changed, 10 insertions, 0 deletions
diff --git a/packages/gnome/gnome-desktop/no-desktop-docs.patch b/packages/gnome/gnome-desktop/no-desktop-docs.patch
new file mode 100644
index 0000000000..c132341728
--- /dev/null
+++ b/packages/gnome/gnome-desktop/no-desktop-docs.patch
@@ -0,0 +1,10 @@
+--- Makefile.am~ 2007-05-22 16:50:35.000000000 +0200
++++ Makefile.am 2007-05-22 16:50:35.000000000 +0200
+@@ -3,7 +3,6 @@
+ libgnome-desktop \
+ gnome-about \
+ pixmaps \
+- desktop-docs \
+ docs \
+ man
+