There is no <ISINPUT> element, just <ISINDEX>. ;-)

diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex
index b24d4903253c5f06d65cef51b452a340e84c2d27..e4a8e21c098d46787612d523bb1fbcb383307224 100644 (file)
--- a/Doc/lib/libcgi.tex
+++ b/Doc/lib/libcgi.tex
@@ -22,7 +22,7 @@ written in Python.
 \nodename{cgi-intro}
 
 A CGI script is invoked by an HTTP server, usually to process user
-input submitted through an HTML \code{<FORM>} or \code{<ISINPUT>} element.
+input submitted through an HTML \code{<FORM>} or \code{<ISINDEX>} element.
 
 Most often, CGI scripts live in the server's special \file{cgi-bin}
 directory.  The HTTP server places all sorts of information about the