diff doc/manual.tex @ 2039:3d10ae22abd6

Default 'jsFunc' for less-safe FFI
author Adam Chlipala <adam@chlipala.net>
date Wed, 16 Jul 2014 04:06:11 -0400
parents d11a7a9c4a73
children 336070df8aec
line wrap: on
line diff
--- a/doc/manual.tex	Sun Jul 13 06:14:23 2014 -0400
+++ b/doc/manual.tex	Wed Jul 16 04:06:11 2014 -0400
@@ -2552,6 +2552,8 @@
 \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}