create eliomopt alias

ocsigen · Apr 12, 2019 · 48d2d23 · 48d2d23
1 parent 21b834a
commit 48d2d23
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/tools/dune b/src/tools/dune
@@ -27,3 +27,7 @@
 (install
   (section bin)
   (files (eliomc.exe as js_of_eliom)))
+
+(install
+  (section bin)
+  (files (eliomc.exe as eliomopt)))