ports/core
4
3
Fork 0
Code Issues 4 Pull Requests Activity

ed: move man-pages to /usr/share/man

Browse Source
This commit is contained in:
Fredrik Rinnestam 2015-07-25 23:49:41 +02:00
parent 5201d2de02
commit 17dac3876c
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ed/.footprint
View File

@ -2,7 +2,8 @@ drwxr-xr-x root/root bin/
-rwxr-xr-x root/root bin/ed
-rwxr-xr-x root/root bin/red
drwxr-xr-x root/root usr/
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man1/
-rw-r--r-- root/root usr/man/man1/ed.1.gz
lrwxrwxrwx root/root usr/man/man1/red.1.gz -> ed.1.gz
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/man/
drwxr-xr-x root/root usr/share/man/man1/
-rw-r--r-- root/root usr/share/man/man1/ed.1.gz
lrwxrwxrwx root/root usr/share/man/man1/red.1.gz -> ed.1.gz

3
ed/Pkgfile
View File

@ -4,7 +4,7 @@
name=ed
version=1.12
release=1
release=2
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.lz)
build() {
@ -14,7 +14,6 @@ build() {
./configure --prefix=/usr \
--exec-prefix=/ \
--mandir=/usr/man \
CFLAGS="$CFLAGS"
make