diff options
| author | Alvaro Herrera | 2008-03-14 17:28:24 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2008-03-14 17:28:24 +0000 |
| commit | e5ecea0d7359b5eff08620dd653515eedc0737b3 (patch) | |
| tree | fbf39755b71b2149aa46b85892038ab0ddc7a28e | |
| parent | 9c37a4810eee90da9d009dbf31f41ecebcc643f5 (diff) | |
Fix duplicate word, per Guillaume Lelarge.
| -rw-r--r-- | doc/src/sgml/install-win32.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/install-win32.sgml b/doc/src/sgml/install-win32.sgml index e432e7562c5..16259d6e0c2 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.45.2.1 2008/02/28 12:18:03 mha Exp $ --> +<!-- $PostgreSQL: pgsql/doc/src/sgml/install-win32.sgml,v 1.45.2.2 2008/03/14 17:28:24 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. |