diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-03-07 12:16:58 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-03-07 12:16:58 -0500 |
| commit | 49a5e4d7ed58ae5d8dc437a03a5653d219fb654e (patch) | |
| tree | 5bbda8e2cb6ff2c2aee9bb755dac5f57631c4673 /doc/manual.tex | |
| parent | 1b0d89d5ddfff6a265f8c3c1b294f040cd80ddb1 (diff) | |
Update manual for '-js'
Diffstat (limited to 'doc/manual.tex')
| -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 b65809d0..f6d67f07 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -275,6 +275,8 @@ sqlite3 path/to/database/file <app.sql \item \texttt{-explainEmbed}: Trigger more verbose error messages about inability to embed server-side values in client-side code. +\item \texttt{-js FILENAME}: Ur/Web applications with client-side code link in generated JavaScript files, which, by default, are assigned random-looking names. Use this directive to override the filename chosen for the JavaScript code. Be forewarned that the default method uses a name based on hashing the code itself, which is done for a good reason: browsers are very eager to cache JavaScript code, and application changes may fail to propagate quickly to browsers if this filename stays the same between versions. In such cases, it isn't just that the user sees an old version of your application. Instead, the application runs with a mix of old and new files, leading to arbitrary bugs that Ur/Web prevents, when used properly. + \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files \item \texttt{-moduleOf FILENAME}: Prints the Ur/Web module name corresponding to source file \texttt{FILENAME}, exiting immediately afterward. |