diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex index 3883acff01f..a41409673fc 100644 --- a/Doc/lib/libcgi.tex +++ b/Doc/lib/libcgi.tex @@ -20,7 +20,7 @@ written in Python. A CGI script is invoked by an HTTP server, usually to process user input submitted through an HTML \code{