diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:20:38 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:20:38 -0500 |
commit | 2fedca71aac28a8acea44b3c31e7198066461271 (patch) | |
tree | 881d31b42a7bc02dfa5f0fcbc6d6a76aa333a5dd | |
parent | 68b355524cc20056d8c059138be225aaa9762e0a (diff) |
Short manual note on -sqlcache
-rw-r--r-- | doc/manual.tex | 2 |
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. |