diff options
Diffstat (limited to '.github/workflows/gh-pages.yml')
-rw-r--r-- | .github/workflows/gh-pages.yml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 4675a9f..2472bba 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -26,10 +26,11 @@ jobs: - name: Generate Admitted icon run: python3 scripts/statistics.py src && mkdir -p docs/assets && mv admitted.svg docs/assets/. - - name: Generate html - run: - - sudo apt-get install emacs - - emacs --batch --no-init --load publish.el --funcall org-publish-all + - name: Install emacs + run: sudo apt-get install emacs + + - name: Generate documentation + run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all - name: Deploy gh-pages uses: peaceiris/actions-gh-pages@v3 |