From f098ebc353d87d4dcd644466bbcc09fb472b7a55 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 22 Feb 2023 16:23:25 +0100
Subject: [PATCH] [tutorial] Add make rule for generating PDF

---
 scripts/Makefile.alectryon | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/Makefile.alectryon b/scripts/Makefile.alectryon
index 9b3fbb0f9..2a02691b5 100644
--- a/scripts/Makefile.alectryon
+++ b/scripts/Makefile.alectryon
@@ -9,3 +9,8 @@ tutorial: $(VOFILES) doc/tutorial.v
 	$(SHOW)'Compiling the tutorial with alectryon: doc/tutorial.v -> html/tutorial.html'
 	$(HIDE)mkdir -p html
 	$(HIDE)alectryon  -R . prosa --frontend coq+rst --backend webpage --output-directory "html" doc/tutorial.v 
+
+tutorial-pdf: $(VOFILES) doc/tutorial.v
+	$(SHOW)'Compiling the tutorial with alectryon: doc/tutorial.v -> doc/tutorial.pdf'
+	$(HIDE)alectryon  -R . prosa --frontend coq+rst --backend latex --output-directory "doc" doc/tutorial.v
+	$(HIDE)cd doc && pdflatex tutorial.tex
-- 
GitLab