From af4f02837516d231e8270ed53a76b07f0921ae72 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 23 Dec 2015 16:11:30 -0500 Subject: Update man page Remove references to UrFlow, as the reference manual now describes that subsystem as intentionally undocumented and experimental. Update dates. --- debian/urweb.1 | 9 ++------- 1 file 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 \" @@ -105,11 +105,6 @@ fails. 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 @@ -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 . This manual page is copyright \(co 2013, 2015 Benjamin Barenblat and licensed -- cgit v1.2.3