Ticket #3870: patch-Makefile.org

File patch-Makefile.org, 509 bytes (added by IngmarStein@…, 19 years ago)

Makefile.org patch

Line 
1--- Makefile.org.orig   2005-03-15 01:46:13.000000000 -0800
2+++ Makefile.org        2005-05-02 00:37:16.000000000 -0700
3@@ -525,10 +525,7 @@
4                $(INSTALL_PREFIX)$(MANDIR)/man7
5        @pod2man="`cd util; ./pod2mantest $(PERL)`"; \
6        here="`pwd`"; \
7-       filecase=; \
8-       if [ "$(PLATFORM)" = "DJGPP" -o "$(PLATFORM)" = "Cygwin" -o "$(PLATFORM)" = "mingw" ]; then \
9-               filecase=-i; \
10-       fi; \
11+       filecase=-i; \
12        set -e; for i in doc/apps/*.pod; do \
13                fn=`basename $$i .pod`; \
14                sec=`$(PERL) util/extract-section.pl 1 < $$i`; \