From 1ed44c324a519b355a8429a45c2edbb6b231e32a Mon Sep 17 00:00:00 2001
From: Danny Willems <contact@danny-willems.be>
Date: Tue, 25 Oct 2016 16:30:38 +0200
Subject: [PATCH] Export: echo --> cat

---
 doc/manual/src/export.wiki | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/src/export.wiki b/doc/manual/src/export.wiki
index 9697fb7f5c..37a7a872d6 100644
--- a/doc/manual/src/export.wiki
+++ b/doc/manual/src/export.wiki
@@ -22,7 +22,7 @@ myMathLib.add(3,4)
 {{{Js.export}}} and {{{Js.export_all}}} will export value to {{{module.exports}}} if it exists.
 
 {{{
-# echo math.ml
+# cat math.ml
 let _ =
   Js.export_all
     (object%js