From 2fedca71aac28a8acea44b3c31e7198066461271 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 20 Dec 2015 14:20:38 -0500 Subject: Short manual note on -sqlcache --- doc/manual.tex | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/manual.tex') 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. -- cgit v1.2.3