Use cleaner make doc command in workflow.

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 61497ebbb7558f30a312ba6fc6b070f543707049..c6ef5ec87a8524510cb09fa0bf4b83805199a65a 100644 (file)
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -24,7 +24,7 @@ jobs:
       run: ./configure --without-sendmail
 
     - name: Build the doc
-      run: cd doc && make
+      run: make updatedoc
 
     - name: Upload GitHub Pages artifact
       uses: actions/upload-pages-artifact@v2.0.0