Add a top-level makefile for building the site

nicoonoclaste · nicoonoclaste · commit 9051155eaefd · 2019-11-15T15:26:51.000+01:00
This is simpler/better than maintaining build instructions in multiple places.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -24,8 +24,7 @@ jobs:
 
     - name: Build
       run: |
-        make -C docs/img
-        mkdocs build
+        make
 
     - name: Deploy
       uses: peaceiris/actions-gh-pages@v2.5.0
diff --git a/GNUmakefile b/GNUmakefile
@@ -0,0 +1,5 @@
+.PHONY: all
+
+all:
+	$(MAKE) -C docs/img
+	mkdocs build
