This makes sure it picks up the in-tree copies during a Debian source
package build.
In non Debian-source-package builds this makes no difference, because
DESTDIR=/usr and PREFIX=/local so it's just -I/usr/local/include.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
     and do not compress any of them.
   * Add `Replaces: wiringpi' to the other packages, to smooth the upgrade
     from the pre-split packages.
+  * Add -I$(DESTDIR)$(PREFIX)/include to devLib Makefile to make sure
+    it picks up the in-tree copies during a Debian source package build.
 
  --
 
 
 #DEBUG = -g -O0
 DEBUG  = -O2
 CC     = gcc
-INCLUDE        = -I.
+INCLUDE        = -I. -I$(DESTDIR)$(PREFIX)/include
 DEFS   = -D_GNU_SOURCE
 CFLAGS = $(DEBUG) $(DEFS) -Wformat=2 -Wall -Winline $(INCLUDE) -pipe -fPIC