diff --git a/scripts/Makefile.alectryon b/scripts/Makefile.alectryon
index 4dffb482a5ee73ea1f99016e15249a8e0f4ba548..9b3fbb0f9ae43557c47844d11b1d19db66723029 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