summaryrefslogtreecommitdiff
path: root/debian/urweb.1
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-12-23 16:11:30 -0500
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-12-23 16:11:30 -0500
commitaf4f02837516d231e8270ed53a76b07f0921ae72 (patch)
tree276e43a51d1f482fe731285e7c287ee0ade2fcff /debian/urweb.1
parent073aaafb91bfa3eb89395518ea50eb8eaab8021c (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/urweb.1')
-rw-r--r--debian/urweb.19
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