From 1ee9fb9e049d5af938d24cecec3ed3d8332bf3c2 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 27 Feb 2009 07:20:00 +0000 Subject: [PATCH] Fix the inconsistent and wrong claims that the option value in CREATE FOREIGN DATA WRAPPER/SERVER/USER MAPPING is optional. --- doc/src/sgml/ref/create_foreign_data_wrapper.sgml | 2 +- doc/src/sgml/ref/create_server.sgml | 2 +- doc/src/sgml/ref/create_user_mapping.sgml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/src/sgml/ref/create_foreign_data_wrapper.sgml b/doc/src/sgml/ref/create_foreign_data_wrapper.sgml index b321fb94f5..719f59066e 100644 --- a/doc/src/sgml/ref/create_foreign_data_wrapper.sgml +++ b/doc/src/sgml/ref/create_foreign_data_wrapper.sgml @@ -82,7 +82,7 @@ CREATE FOREIGN DATA WRAPPER name - OPTIONS ( option ['value'] [, ... ] ) + OPTIONS ( option 'value' [, ... ] ) This clause specifies options for the new foreign-data wrapper. diff --git a/doc/src/sgml/ref/create_server.sgml b/doc/src/sgml/ref/create_server.sgml index 8a57e42aa3..3485d13d03 100644 --- a/doc/src/sgml/ref/create_server.sgml +++ b/doc/src/sgml/ref/create_server.sgml @@ -85,7 +85,7 @@ CREATE SERVER servername [ TYPE 'se - OPTIONS ( option ['value'] [, ... ] ) + OPTIONS ( option 'value' [, ... ] ) This clause specifies the options for the server. The options diff --git a/doc/src/sgml/ref/create_user_mapping.sgml b/doc/src/sgml/ref/create_user_mapping.sgml index 3829def7c2..f0cebbdd6c 100644 --- a/doc/src/sgml/ref/create_user_mapping.sgml +++ b/doc/src/sgml/ref/create_user_mapping.sgml @@ -69,7 +69,7 @@ CREATE USER MAPPING FOR { username - OPTIONS ( option ['value'] [, ... ] ) + OPTIONS ( option 'value' [, ... ] ) This clause specifies the options of the user mapping. The -- 2.39.5