diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-12-23 16:11:30 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-12-23 16:11:30 -0500 |
commit | af4f02837516d231e8270ed53a76b07f0921ae72 (patch) | |
tree | 276e43a51d1f482fe731285e7c287ee0ade2fcff /debian | |
parent | 073aaafb91bfa3eb89395518ea50eb8eaab8021c (diff) |
Update man page
Remove references to UrFlow, as the reference manual now describes that
subsystem as intentionally undocumented and experimental. Update dates.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/urweb.1 | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/debian/urweb.1 b/debian/urweb.1 index 0419c83a..6baf4d0b 100644 --- a/debian/urweb.1 +++ b/debian/urweb.1 @@ -1,4 +1,4 @@ -.TH urweb 1 "February 14, 2015" +.TH urweb 1 "December 20, 2015" .\" urweb.1 -- man page for urweb \" Copyright (C) 2013, 2015 Benjamin Barenblat <bbaren@mit.edu> \" @@ -106,11 +106,6 @@ Enables verbose error messages when \fBurweb\fP is unable to embed server-side values in client-side code. .TP -\fB\-iflow\fP -Enables the UrFlow static analysis engine. See -\fIhttp://impredicative.com/ur/scdv/\fP for more information. - -.TP \fB\-limit \fIclass\fP \fInum\fP Sets a resource usage limit for generated applications. The limit \fIclass\fP will be set to the non-negative integer \fInum\fP. The classes are: @@ -426,7 +421,7 @@ you've found a bug (e.g., the compiler throws an unhandled exception), contact the Ur/Web mailing list, \fIur@impredicative.com\fP. .SH COPYRIGHT -\fBurweb\fP is copyright \(co 2008-2014 Adam Chlipala and licensed under the +\fBurweb\fP is copyright \(co 2008-2015 Adam Chlipala and licensed under the 3-clause BSD license <http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5>. This manual page is copyright \(co 2013, 2015 Benjamin Barenblat and licensed |