From cc77d2e1d60370d19cf1e5b6be50f83c6f90aeaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 23 Jul 2021 10:04:58 +0200
Subject: [PATCH] Makefile: add a `make tutorial` target

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

diff --git a/scripts/Makefile.alectryon b/scripts/Makefile.alectryon
index 4dffb482a..9b3fbb0f9 100644
--- a/scripts/Makefile.alectryon
+++ b/scripts/Makefile.alectryon
@@ -4,3 +4,8 @@ html-alectryon/%.html: $(VOFILES)
 	$(HIDE)scripts/alectryon.sh $(patsubst %,%.v,$(subst html-alectryon/prosa/,,$(subst .,/,$(@:.html=))))
 
 alectryon: $(ALECTRYONFILES)
+
+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 
-- 
GitLab