diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 627dcd4..6cde62f 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -20,7 +20,10 @@ jobs: - name: Build docs continue-on-error: false - run: make html + run: | + cd doc + makeinfo --html org-roam.texi + mv org-roam manual - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@releases/v3