#! /bin/sh /usr/share/dpatch/dpatch-run
## 90_config_for_debian.dpatch by Daniel Leidert (dale) <daniel.leidert@wgdd.de>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: * src/OpenGL/GlobalOrb.h: Include the header file from the official
## DP:     Debian GtkGLArea library package.

@DPATCH@
diff -urNad gabedit~/src/OpenGL/GlobalOrb.h gabedit/src/OpenGL/GlobalOrb.h
--- gabedit~/src/OpenGL/GlobalOrb.h	2008-07-03 09:41:14.000000000 +0200
+++ gabedit/src/OpenGL/GlobalOrb.h	2008-07-08 12:41:21.000000000 +0200
@@ -27,7 +27,7 @@
 #include <gtk/gtk.h>
 #include <gdk/gdk.h>
 #include "../Files/GabeditFileChooser.h"
-#include "../../gtkglarea/gtkglarea.h"
+#include <gtkgl/gtkglarea.h>
 #include "../../gl2ps/gl2ps.h"
 #include <GL/gl.h>
 #include <GL/glu.h>