Fix make doc in workflow.

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index bbd13bc74fdf0385d141279ca2eade1a97e3e690..61497ebbb7558f30a312ba6fc6b070f543707049 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: make doc
+      run: cd doc && make
 
     - name: Upload GitHub Pages artifact
       uses: actions/upload-pages-artifact@v2.0.0