*** ./doc/src/sgml/ref/alter_role.sgml.orig 2006-04-15 01:15:51.000000000 +0200 --- ./doc/src/sgml/ref/alter_role.sgml 2006-04-15 01:16:02.000000000 +0200 *************** *** 36,43 **** ALTER ROLE name RENAME TO newname ! ALTER ROLE name SET parameter { TO | = } { value | DEFAULT } ! ALTER ROLE name RESET parameter --- 36,43 ---- ALTER ROLE name RENAME TO newname ! ALTER ROLE name SET gucname { TO | = } { value | DEFAULT } ! ALTER ROLE name RESET gucname *************** *** 143,149 **** ! parameter value --- 143,149 ---- ! gucname value *** ./doc/src/sgml/ref/alter_user.sgml.orig 2006-04-15 01:15:51.000000000 +0200 --- ./doc/src/sgml/ref/alter_user.sgml 2006-04-15 01:16:02.000000000 +0200 *************** *** 36,43 **** ALTER USER name RENAME TO newname ! ALTER USER name SET parameter { TO | = } { value | DEFAULT } ! ALTER USER name RESET parameter --- 36,43 ---- ALTER USER name RENAME TO newname ! ALTER USER name SET gucname { TO | = } { value | DEFAULT } ! ALTER USER name RESET gucname