[PATCH] configure: add --without-docs switch

[David Bremner]

For some reason I can't apply this patch with git 2.1.4. I think I had
the same problem with your last patch but it was only one line.

Does it round trip for you? i.e. can you apply the patches you send?

I get
   Applying: configure: add --without-docs switch
   fatal: git diff header lacks filename information when removing 1 leading pathname component (line 9)
   Patch failed at 0001 configure: add --without-docs switch

I have attached the "extracted" patch, in case it helps someone debug
this.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch
Type: application/octet-stream
Size: 2543 bytes
Desc: not available
URL: <http://notmuchmail.org/pipermail/notmuch/attachments/20150726/77ce179b/attachment.obj>