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)))