diff options
author | Matthias Hentges <oe@hentges.net> | 2007-05-24 17:06:27 +0000 |
---|---|---|
committer | Matthias Hentges <oe@hentges.net> | 2007-05-24 17:06:27 +0000 |
commit | 52ad68d8311927e27b51d88a57aaa98ee79dbf93 (patch) | |
tree | ae451c9838c4caa5a6a39eabe9ce1dc4b4accffa /packages/gnome/gnome-desktop | |
parent | 34dde4e4767cc985e246b24f5c4e2eb5934f3b4c (diff) | |
parent | 4b354150f6b88b8507f1fab1bc6df48103f84b10 (diff) |
merge of '2e1d9e05c5b3d9382dab5905a71f66a069c6915d'
and '6f3630e0c94aef5b64cc3ea808814c67c4fb0fd1'
Diffstat (limited to 'packages/gnome/gnome-desktop')
-rw-r--r-- | packages/gnome/gnome-desktop/no-desktop-docs.patch | 10 |
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 + |