diff options
author | Alvaro Herrera | 2008-03-14 17:28:24 +0000 |
---|---|---|
committer | Alvaro Herrera | 2008-03-14 17:28:24 +0000 |
commit | e7027d417ab1bfbe206293445274ba31a480b65a (patch) | |
tree | d5f5227807637ec93907ab648c203b1c582b9a2c | |
parent | 82a3a41395876c65a24e0c7750794b9fd07c5d86 (diff) |
Fix duplicate word, per Guillaume Lelarge.
-rw-r--r-- | doc/src/sgml/install-win32.sgml | 2 |
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. |