[notmuch] [PATCH] Makefile: Create include directory when installing headers

2010-04-01 Thread Michal Sojka
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. --- lib/Makefile.local |1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/lib/Makefile.local

[notmuch] [PATCH] Makefile: Create include directory when installing headers

2010-04-01 Thread Carl Worth
On Thu, 1 Apr 2010 13:47:45 +0200, Michal Sojka 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 -- next part

[notmuch] [PATCH] Makefile: Create include directory when installing headers

2010-04-01 Thread Michal Sojka
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. --- lib/Makefile.local |1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/lib/Makefile.local

Re: [notmuch] [PATCH] Makefile: Create include directory when installing headers

2010-04-01 Thread Carl Worth
On Thu, 1 Apr 2010 13:47:45 +0200, Michal Sojka sojk...@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 pgpfOxRgc30OY.pgp