diff options
| author | Florian Boor <florian.boor@kernelconcepts.de> | 2007-05-22 15:11:43 +0000 |
|---|---|---|
| committer | Florian Boor <florian.boor@kernelconcepts.de> | 2007-05-22 15:11:43 +0000 |
| commit | eb466dfa3cfb6f5b5cd63a614a1f059a8df580e8 (patch) | |
| tree | 04167588ff127dad4b975cf44c4380eefe0e70fa /packages/gnome/gnome-desktop/no-desktop-docs.patch | |
| parent | 8c205f59a005b80b862128762e9a516fa5e5075d (diff) | |
gnome-desktop: Work around documentation build failure by skipping it.
Diffstat (limited to 'packages/gnome/gnome-desktop/no-desktop-docs.patch')
| -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 + |