From cb2ee2d949899a897022894b750afd1f3d2eb478 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 5 Nov 2018 19:37:11 +0100
Subject: Integrate plugin tutorial after code import

---
 Makefile.common | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 9f7ed9d46e..2dced04967 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -168,6 +168,8 @@ LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cmo=.cmx)
 
 ALLSTDLIB := test-suite/misc/universes/all_stdlib
 
+PLUGINTUTO := doc/plugin_tutorial
+
 # For emacs:
 # Local Variables:
 # mode: makefile
-- 
cgit v1.2.3