From 637af13dcad64ebac7eade3811c0096d6a65c940 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 21 Aug 1998 20:02:06 +0000
Subject: [PATCH] There is no <ISINPUT> element, just <ISINDEX>.  ;-)

---
 Doc/lib/libcgi.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex
index b24d4903253..e4a8e21c098 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