mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-05 06:33:50 +02:00
php*-mongodb: unnecessary install msg
This commit is contained in:
parent
32eb6d1a9a
commit
9ff77da6fe
6 changed files with 12 additions and 0 deletions
|
@ -22,3 +22,7 @@ pre_configure() {
|
||||||
pre_install() {
|
pre_install() {
|
||||||
make_install_args="INSTALL_ROOT=$DESTDIR"
|
make_install_args="INSTALL_ROOT=$DESTDIR"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
post_install() {
|
||||||
|
vdoc "${FILESDIR}/README.voidlinux"
|
||||||
|
}
|
||||||
|
|
|
@ -22,3 +22,7 @@ pre_configure() {
|
||||||
pre_install() {
|
pre_install() {
|
||||||
make_install_args="INSTALL_ROOT=$DESTDIR"
|
make_install_args="INSTALL_ROOT=$DESTDIR"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
post_install() {
|
||||||
|
vdoc "${FILESDIR}/README.voidlinux"
|
||||||
|
}
|
||||||
|
|
|
@ -22,3 +22,7 @@ pre_configure() {
|
||||||
pre_install() {
|
pre_install() {
|
||||||
make_install_args="INSTALL_ROOT=$DESTDIR"
|
make_install_args="INSTALL_ROOT=$DESTDIR"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
post_install() {
|
||||||
|
vdoc "${FILESDIR}/README.voidlinux"
|
||||||
|
}
|
||||||
|
|
Loading…
Add table
Reference in a new issue