diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2018-11-10 18:12:57 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2018-11-10 18:12:57 +0000 |
commit | 7990f810661ef0c3f4870afc67b1eb08684b8dc8 (patch) | |
tree | f40cba2ed30c79b84c1d56a779b7139f24d6c36f /lang/intercal/Makefile | |
parent | Update to 7.2.12 (diff) |
Install texinfo files (GNU info) into ${PREFIX}/share/info
After a discussion on the mailing list on moving manpages to
${PREFIX}/share/man for consistency with base where it is
installed in usr/share/man, it appeared the same should happen
to GNU info files which were installed under share in base and
not in ports.
Now texinfo is not in base on any of the supported version of FreeBSD
it is possible to proceed to this move and it is easier to do than
the manpage change.
Other benefit than consistency are less patching: all build tools but
cmake are expecting info files to be under share/info and cmake (patched here)
was having an exception for BSD so the patch makes FreeBSD case less
specific for them
Bump revision of all impacted ports
PR: 232907
exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17816
Notes
Notes:
svn path=/head/; revision=484628
Diffstat (limited to 'lang/intercal/Makefile')
-rw-r--r-- | lang/intercal/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/intercal/Makefile b/lang/intercal/Makefile index 864ce69cfcca..79cdda21f243 100644 --- a/lang/intercal/Makefile +++ b/lang/intercal/Makefile @@ -3,6 +3,7 @@ PORTNAME= intercal PORTVERSION= 0.30 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://www.catb.org/~esr/intercal/ |