On Thu, 1 Apr 2010 13:47:45 +0200, Michal Sojka <sojkam1@fel.cvut.cz> wrote: > When I wanted to create a debian package from the current master, make > install failed because of non-existent include directory. This patch > fixes this minor issue. Thanks. This is merged now. -Carl