# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1250452110 -10800
# Node ID 81412bb74bf3c97a37c4c1fa037980b34e0aa238
# Parent  caee78ca8c4025d604f3fe96e95e35fca91e912f
Added in example path to gnuwin32.

diff -r caee78ca8c40 -r 81412bb74bf3 INSTALL
--- a/INSTALL	Sun Aug 16 22:26:50 2009 +0300
+++ b/INSTALL	Sun Aug 16 22:48:30 2009 +0300
@@ -38,7 +38,7 @@
 
 for Cygwin or like this:
 
-  MANPATH=/e/home/usr/share/man:/e/bin/MinGW/man
+  MANPATH=/e/home/usr/share/man:/e/bin/MinGW/man:/e/bin/gnuwin32/man
 
 for MinGW and other case.