Add a top-level Makefile

This allows running make from the top-level, which might be useful.
2020-05-27 13:12:55 -05:00
parent 0051643be0
commit b2a7c102e4
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@@ -0,0 +1,5 @@
+help:
+	$(MAKE) -C docs help
+
+%:
+	$(MAKE) -C docs $@