Changeset 6831 for trunk/dports/editors


Ignore:
Timestamp:
Apr 29, 2004, 8:39:39 PM (16 years ago)
Author:
matt
Message:

Bug: 1799
Submitted by: maintainer, vivek@… (Vivek Khera)
Reviewed by: matt@
Approved by:
Obtained from:

Man pages now get installed into ${prefix}/share/man.
Thanks Vivek!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/editors/jove/files/patch-Makefile.diff

    r2311 r6831  
    1616+LIBDIR = $(JOVEHOME)/libexec/jove
    1717 BINDIR = $(JOVEHOME)/bin
    18  MANDIR = $(JOVEHOME)/man/man$(MANEXT)
     18-MANDIR = $(JOVEHOME)/man/man$(MANEXT)
     19+MANDIR = $(JOVEHOME)/share/man/man$(MANEXT)
    1920 MANEXT = 1
    2021-DFLTSHELL = /bin/csh
Note: See TracChangeset for help on using the changeset viewer.