Makefile: add top-level "docs" target

rjw57 · Jun 8, 2015 · e94d508 · e94d508
1 parent d9237e5
commit e94d508
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -9,8 +9,11 @@ os:
 examples:
 	$(MAKE) -C examples/
 
+.PHONY: docs
+docs:
+	$(MAKE) -C docs/
+
 .PHONY: clean
 clean:
 	$(MAKE) -C os/ clean
 	$(MAKE) -C examples/ clean
-