From c1553a51a8915890366713367c0d5e1ec1532e29 Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Thu, 3 Dec 2020 17:25:06 +0100
Subject: [PATCH] Build site and pdf by default

Closes #3416
---
 dune | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dune b/dune
index 6660269c0..b107eece5 100644
--- a/dune
+++ b/dune
@@ -1,2 +1,8 @@
 (env
  (non-deterministic (env-vars (MDX_RUN_NON_DETERMINISTIC true))))
+
+(alias
+ (name install)
+ (deps
+  (alias site)
+  (alias pdf)))