aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlvaro Herrera <alvherre@alvh.no-ip.org>2008-03-14 17:28:23 +0000
committerAlvaro Herrera <alvherre@alvh.no-ip.org>2008-03-14 17:28:23 +0000
commit4844529ce4312e2326c847431fac9ee067640a2c (patch)
tree93df3f60c98e87e0da2bf85d9ed7eeb6fcbb04c5
parentadc4e1e6353bfda442c23a32f172eb42c649c495 (diff)
downloadpostgresql-4844529ce4312e2326c847431fac9ee067640a2c.tar.gz
postgresql-4844529ce4312e2326c847431fac9ee067640a2c.zip
Fix duplicate word, per Guillaume Lelarge.
-rw-r--r--doc/src/sgml/install-win32.sgml4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/install-win32.sgml b/doc/src/sgml/install-win32.sgml
index 4b3f2dcb2e6..6f044becdf2 100644
--- a/doc/src/sgml/install-win32.sgml
+++ b/doc/src/sgml/install-win32.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/install-win32.sgml,v 1.46 2008/02/28 12:17:59 mha Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/install-win32.sgml,v 1.47 2008/03/14 17:28:23 alvherre Exp $ -->
<chapter id="install-win32">
<title>Installation on <productname>Windows</productname></title>
@@ -247,7 +247,7 @@
handle changed files. But if there have been large changes, you may need
to clean the installation. To do this, simply run the
<filename>clean.bat</filename> command, which will automatically clean out
- all generated files. You can also run it with with the
+ all generated files. You can also run it with the
<parameter>dist</parameter> parameter, in which case it will behave like
<userinput>make distclean</userinput> and remove the flex/bison output files
as well.