diff --git a/src/man/pgbuiltin.3 b/src/man/pgbuiltin.3
index c2a45fc9eca6c2d71b509f90b3554968be4068bd..e7af04a0438561cef4d56cf99be6f0e59dc8c67a 100644
--- a/src/man/pgbuiltin.3
+++ b/src/man/pgbuiltin.3
@@ -1,6 +1,6 @@
 .\" This is -*-nroff-*-
 .\" XXX standard disclaimer belongs here....
-.\" $Header: /cvsroot/pgsql/src/man/Attic/pgbuiltin.3,v 1.7 1997/10/01 18:53:26 momjian Exp $
+.\" $Header: /cvsroot/pgsql/src/man/Attic/pgbuiltin.3,v 1.8 1997/10/01 18:57:48 momjian Exp $
 .TH PGBUILTIN INTRO 04/01/97 PostgreSQL PostgreSQL
 .SH "DESCRIPTION"
 This section describes the data types, functions and operators
@@ -1195,8 +1195,8 @@ left_unary|operand  |return_type
 ;         |float8   |float8     
 -         |float8   |float8     
 @         |float8   |float8     
-|/       |float8   |float8     
-||/     |float8   |float8     
+|/        |float8   |float8     
+||/       |float8   |float8     
 %         |float8   |float8     
 :         |float8   |float8     
 -         |int2     |int2       
diff --git a/src/man/sql.l b/src/man/sql.l
index 94b1dbade0e5a93013724c525c40b3d1c2763cfa..ca521cb95fcb8231a9b7f65aa6a1d6fa877e9a58 100644
--- a/src/man/sql.l
+++ b/src/man/sql.l
@@ -1,6 +1,6 @@
 .\" This is -*-nroff-*-
 .\" XXX standard disclaimer belongs here....
-.\" $Header: /cvsroot/pgsql/src/man/Attic/sql.l,v 1.5 1997/08/26 17:00:23 momjian Exp $
+.\" $Header: /cvsroot/pgsql/src/man/Attic/sql.l,v 1.6 1997/10/01 18:53:29 momjian Exp $
 .TH INTRODUCTION SQL 11/5/95 PostgreSQL PostgreSQL
 .SH "Section 4 \(em SQL Commands (COMMANDS)"
 .SH "General Information"
@@ -13,9 +13,17 @@ constituent parts of SQL statements are drawn.
 A
 .IR comment
 is an arbitrary sequence of characters following double dashes up to the end
-of the line e.g:
+of the line.  We also support double-slashes as comments, e.g.:
 .nf
--- This is a comment
+-- This is a standard SQL comment
+// And this is another supported comment style, like C++
+.fi
+
+We also support C-style comments, e.g.:
+.nf
+/* multi
+   line
+   comment */
 .fi
 .SH "Names"
 .IR Names