From eb466dfa3cfb6f5b5cd63a614a1f059a8df580e8 Mon Sep 17 00:00:00 2001 From: Florian Boor Date: Tue, 22 May 2007 15:11:43 +0000 Subject: gnome-desktop: Work around documentation build failure by skipping it. --- packages/gnome/gnome-desktop/no-desktop-docs.patch | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 packages/gnome/gnome-desktop/no-desktop-docs.patch (limited to 'packages/gnome/gnome-desktop/no-desktop-docs.patch') 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 + -- cgit v1.2.3