create eliomopt alias

John Christopher McAlpine · John Christopher McAlpine · commit 48d2d23c5e8d · 2019-04-12T11:19:21.000+02:00
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)))
