CI: Build PDF documentation using tectonic

Author: seisman

.github/workflows/ci_docs.yml

@@ -117,6 +117,7 @@ jobs:
             sphinx-design
             sphinx-gallery
             sphinx_rtd_theme<3.0
+            tectonic
 
       # Download cached remote files (artifacts) from GitHub
       - name: Download remote data from GitHub
@@ -137,7 +138,15 @@ jobs:
 
       # Build the documentation
       - name: Build the documentation
-        run: make -C doc clean all
+        run: make -C doc clean html pdf
+
+      # Temporarily upload the built PDF to the artifacts
+      - name: Upload PDF to artifacts
+        uses: actions/[email protected]
+        with:
+          name: pygmt-docs-pdf
+          path: doc/_build/latex/pygmt.pdf
+        if: matrix.os == 'ubuntu-latest'
 
       - name: Checkout the gh-pages branch
         uses: actions/[email protected]

doc/Makefile

@@ -43,6 +43,14 @@ html-noplot: api
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
+pdf: latex
+	@echo
+	@echo "Building PDF via Tectonic."
+	@echo
+	tectonic $(BUILDDIR)/latex/pygmt.tex
+	@echo
+	@echo "PDF build finished. The PDF file is in $(BUILDDIR)/latex/pygmt.pdf."
+
 server:
 	@echo
 	@echo "Running a server on port 8009."