Update Makefile

2381-robotics · Aug 13, 2019 · bee26c0 · bee26c0
1 parent f6f1f0a
commit bee26c0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -14,6 +14,11 @@ help:
 
 .PHONY: help Makefile
 
+
+github:
+	@make html
+	@cp -a build/html/. ./docs
+
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile