diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 426b4e4..4b9bf29 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -20,10 +20,7 @@ jobs: - name: Build docs continue-on-error: false - run: | - cd doc - makeinfo --html org-roam.texi - mv org-roam manual + run: make html - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@releases/v3 diff --git a/doc/Makefile b/doc/Makefile index 9f998e5..66840d3 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -30,6 +30,7 @@ html-dir: @printf "Generating org-roam/*.html\n" @$(MAKEINFO) --html org-roam.texi mv org-roam manual + cp images manual %.pdf: %.texi @printf "Generating $@\n"