diff options
Diffstat (limited to 'Makefile.org')
-rw-r--r-- | Makefile.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.org b/Makefile.org index a6f59dd9e5..daed6711c1 100644 --- a/Makefile.org +++ b/Makefile.org @@ -501,7 +501,7 @@ install_docs: @pod2man="`cd util; ./pod2mantest $(PERL)`"; \ here="`pwd`"; \ filecase=; \ - if [ "$(PLATFORM)" = "DJGPP" -o "$(PLATFORM)" = "Cygwin" ]; then \ + if [ "$(PLATFORM)" = "DJGPP" -o "$(PLATFORM)" = "Cygwin" -o "$(PLATFORM)" = "mingw" ]; then \ filecase=-i; \ fi; \ set -e; for i in doc/apps/*.pod; do \ |