commit 16c9fd2735fbb67140131cc228bbc2093822cda7
author Davide Pesavento <davidepesa@gmail.com> Tue Jan 17 22:08:10 2023 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sun Jan 22 18:20:21 2023 -0500
tree e1dcbbd4d3cdac6f390eaaa97353921da3656e2b
parent 64fa06747df07b9636bf55c035e2edd9307c9894

Generate and publish a PDF version as well

Change-Id: I913a998b3a382ae87b1e90182127f4d201980a98

conf.py

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')
+]