From 5ac4f32f0fc146903f460e0551f04ea97b310dc4 Mon Sep 17 00:00:00 2001 From: Tom Lane Date: Fri, 31 Mar 2000 15:00:14 +0000 Subject: [PATCH] Minor copy-editing. --- doc/src/sgml/config.sgml | 6 +++--- doc/src/sgml/install.sgml | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 78387933f94..f1fe6412318 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -96,11 +96,11 @@ Features and packages: Alternatively, you can set variables on the make command line: - make [ variable=value [,...] ] + make [ variable=value [...] ] - A few of the many variables which can be specified are: + A few of the many variables that can be specified are: @@ -181,7 +181,7 @@ Features and packages: - YFLAGS + YFLAGS diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml index 1856e94ec49..c7b441a671a 100644 --- a/doc/src/sgml/install.sgml +++ b/doc/src/sgml/install.sgml @@ -1,5 +1,5 @@ @@ -54,7 +54,7 @@ mv postgresql-7.0 /usr/src Although the minimum required memory for running PostgreSQL - can be as little as 8MB, there are noticable speed improvements when expanding memory + can be as little as 8MB, there are noticeable speed improvements when expanding memory up to 96MB or beyond. The rule is you can never have too much memory. @@ -301,7 +301,7 @@ kill pid On systems which have PostgreSQL started at boot time, there -is probably a startup file which will accomplish the same thing. For example, on a +is probably a startup file that will accomplish the same thing. For example, on a Redhat Linux system one might find that /etc/rc.d/init.d/postgres.init stop -- 2.39.5