From 63acfc44762cbbf3d8d957127a3c5eed3a399940 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 16 Jul 2014 04:06:11 -0400
Subject: Default 'jsFunc' for less-safe FFI

---
 doc/manual.tex | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/manual.tex b/doc/manual.tex
index 97e5d2c0..65f6f95d 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2552,6 +2552,8 @@ Now \texttt{foo} is available as a normal function.  If called in server-side co
 \item \texttt{jsFunc "putJsFuncNameHere"}
 \end{itemize}
 
+When no \texttt{jsFunc} directive is present, the function is assumed to map to a JavaScript function of the same name, if used in a client-side context.
+
 
 \section{Compiler Phases}
 
-- 
cgit v1.2.3