diff options
| author | bapt <bapt@FreeBSD.org> | 2018-11-11 02:12:57 +0800 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2018-11-11 02:12:57 +0800 |
| commit | 2ac1593fa40be912b93142f98d35818c05677bb3 (patch) | |
| tree | f40cba2ed30c79b84c1d56a779b7139f24d6c36f /print/texinfo | |
| parent | 28dc0b6c3fd1ffbcf0b28ff12bff8bcb148a8612 (diff) | |
| download | freebsd-ports-gnome-2ac1593fa40be912b93142f98d35818c05677bb3.tar.gz freebsd-ports-gnome-2ac1593fa40be912b93142f98d35818c05677bb3.tar.zst freebsd-ports-gnome-2ac1593fa40be912b93142f98d35818c05677bb3.zip | |
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
Diffstat (limited to 'print/texinfo')
| -rw-r--r-- | print/texinfo/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/print/texinfo/Makefile b/print/texinfo/Makefile index 71a671582f61..31050189b004 100644 --- a/print/texinfo/Makefile +++ b/print/texinfo/Makefile @@ -3,6 +3,7 @@ PORTNAME= texinfo PORTVERSION= 6.5 +PORTREVISION= 1 PORTEPOCH= 1 CATEGORIES= print MASTER_SITES= GNU \ |