summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-12-20 14:20:38 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-12-20 14:20:38 -0500
commit2fedca71aac28a8acea44b3c31e7198066461271 (patch)
tree881d31b42a7bc02dfa5f0fcbc6d6a76aa333a5dd /doc
parent68b355524cc20056d8c059138be225aaa9762e0a (diff)
Short manual note on -sqlcache
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 228b26b4..0a2d6faa 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -356,6 +356,8 @@ fastcgi.server = (
There is an additional convenience method for invoking \texttt{urweb}. If the main argument is \texttt{FOO}, and \texttt{FOO.ur} exists but \texttt{FOO.urp} doesn't, then the invocation is interpreted as if called on a \texttt{.urp} file containing \texttt{FOO} as its only main entry, with an additional \texttt{rewrite all FOO/*} directive.
+There are also two experimental compiler extensions enabled with flags \texttt{-iflow} and \texttt{-sqlcache}. They are intentionally not documented further here, to indicate just how very experimental they are!
+
\subsection{Tutorial Formatting}
The Ur/Web compiler also supports rendering of nice HTML tutorials from Ur source files, when invoked like \cd{urweb -tutorial DIR}. The directory \cd{DIR} is examined for files whose names end in \cd{.ur}. Every such file is translated into a \cd{.html} version.