Fix duplicate word, per Guillaume Lelarge.

diff --git a/doc/src/sgml/install-win32.sgml b/doc/src/sgml/install-win32.sgml
index 4b3f2dcb2e6d0cf107accc2d5cc5f336331cd8f8..6f044becdf2fd8f4343e0a48c57dd7d68a2fbd29 100644 (file)
--- a/doc/src/sgml/install-win32.sgml
+++ b/doc/src/sgml/install-win32.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Installation on <productname>Windows</productname>
@@ -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
    clean.bat 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
    dist parameter, in which case it will behave like
    make distclean and remove the flex/bison output files
    as well.