summaryrefslogtreecommitdiffstats
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/lib/libcgi.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex
index b24d490..e4a8e21 100644
--- 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