Add top-level Makefile

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..a3fb177
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,12 @@
+SUBDIRS = src doc
+.PHONY: $(SUBDIRS) all
+
+all: $(SUBDIRS)
+
+$(SUBDIRS):
+       $(MAKE) -C $@
+
+clean install:
+       for d in $(SUBDIRS); do \
+               $(MAKE) -C $$d $@; \
+       done