2019-09-28 00:17:56 +08:00
|
|
|
# Description: Linux man pages
|
|
|
|
|
# URL:
|
2019-11-10 23:58:56 +08:00
|
|
|
# Maintainer: Emmett1, emmett1 dot 2miligrams at gmail dot com
|
2019-09-28 00:17:56 +08:00
|
|
|
# Depends on:
|
|
|
|
|
|
|
|
|
|
name=man-pages
|
2022-04-09 08:19:46 +08:00
|
|
|
version=5.13
|
2019-09-28 00:17:56 +08:00
|
|
|
release=1
|
|
|
|
|
source=(https://www.kernel.org/pub/linux/docs/$name/$name-$version.tar.xz)
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
2022-04-09 08:19:46 +08:00
|
|
|
|
|
|
|
|
sed -i "s|prefix := /usr/local|prefix := /usr|g" Makefile
|
2019-09-28 00:17:56 +08:00
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
}
|
