Generate and publish a PDF version as well
Change-Id: I913a998b3a382ae87b1e90182127f4d201980a98
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 57e0ee7..cabb202 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -53,3 +53,30 @@
SSH_PRIVATE_KEY: ${{ secrets.DOCS_DEPLOYMENT_SSH_KEY }}
SOURCE: _build/html/
TARGET: /srv/docs/NDN-packet-spec/${{ steps.version.outputs.version }}/
+
+ PDF:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Checkout
+ uses: actions/checkout@v3
+ - name: Set up Python
+ uses: actions/setup-python@v4
+ with:
+ python-version: '3.10'
+ - name: Install dependencies
+ run: |
+ sudo apt-get -qq update
+ sudo apt-get -qy install --no-install-recommends latexmk \
+ texlive-latex-extra texlive-fonts-recommended tex-gyre
+ python -m pip install --upgrade pip
+ pip install -r requirements.txt
+ - name: Generate PDF document
+ run: make latexpdf
+ env:
+ SPHINXOPTS: --color
+ - name: Publish PDF document
+ uses: actions/upload-artifact@v3
+ with:
+ name: ndn-packet-spec
+ path: _build/latex/ndn-packet-spec.pdf
+ if-no-files-found: error
diff --git a/_static/.gitignore b/_static/.gitignore
deleted file mode 100644
index e69de29..0000000
--- a/_static/.gitignore
+++ /dev/null
diff --git a/conf.py b/conf.py
index 9537807..ee23c50 100644
--- a/conf.py
+++ b/conf.py
@@ -65,3 +65,11 @@
pygments_style = 'tango'
pygments_dark_style = 'material'
+
+
+# -- Options for LaTeX output ------------------------------------------------
+# https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-latex-output
+
+latex_documents = [
+ ('index', 'ndn-packet-spec.tex', project, author, 'manual')
+]