Merge tag 'debian/0.18.1-2' into wheezy-backports

[notmuch] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644 (file)
index 0000000..fa25832
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,5 @@
+all:
+       $(MAKE) -C .. all
+
+.DEFAULT:
+       $(MAKE) -C .. $@