wok diff dev86/receipt @ rev 19614
Up: gmp (6.1.2)
author | Alexander Medvedev <devl547@gmail.com> |
---|---|
date | Mon Jan 09 19:48:10 2017 +0000 (2017-01-09) |
parents | bc78fe1b4ae4 |
children | e60b6baa3569 |
line diff
1.1 --- a/dev86/receipt Tue May 26 15:17:08 2015 +0200 1.2 +++ b/dev86/receipt Mon Jan 09 19:48:10 2017 +0000 1.3 @@ -16,6 +16,8 @@ 1.4 # Rules to configure and make the package. 1.5 compile_rules() 1.6 { 1.7 + sed -i 's|/usr/man|/usr/share/man|' man/Makefile 1.8 + sed -i 's|REFIX)/man|REFIX)/share/man|' Makefile */Makefile 1.9 make -j 1 PREFIX=/usr && 1.10 make -j 1 DIST=$DESTDIR install 1.11 }