summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlvaro Herrera2008-03-14 17:28:24 +0000
committerAlvaro Herrera2008-03-14 17:28:24 +0000
commite7027d417ab1bfbe206293445274ba31a480b65a (patch)
treed5f5227807637ec93907ab648c203b1c582b9a2c
parent82a3a41395876c65a24e0c7750794b9fd07c5d86 (diff)
Fix duplicate word, per Guillaume Lelarge.
-rw-r--r--doc/src/sgml/install-win32.sgml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/install-win32.sgml b/doc/src/sgml/install-win32.sgml
index f88f184c05..271f178721 100644
--- a/doc/src/sgml/install-win32.sgml
+++ b/doc/src/sgml/install-win32.sgml
@@ -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.