wok diff mingw32-runtime/receipt @ rev 19595
Up: man-pages (4.09)
author | Alexander Medvedev <devl547@gmail.com> |
---|---|
date | Sun Jan 01 17:13:11 2017 +0000 (2017-01-01) |
parents | ed8073aa8cf0 |
children | afae00265386 |
line diff
1.1 --- a/mingw32-runtime/receipt Mon Dec 21 00:07:14 2015 +0100 1.2 +++ b/mingw32-runtime/receipt Sun Jan 01 17:13:11 2017 +0000 1.3 @@ -23,6 +23,7 @@ 1.4 # Rules to configure and make the package. 1.5 compile_rules() 1.6 { 1.7 + sed -i 's|/doc/|/share&|' configure */configure Makefile.in 1.8 if [ "$MINGW32_ID" != "$MINGW32_TARGET" ] ; then 1.9 echo "ERROR: Conf 'TARGET' string differs from Receipt 'ID' string" 1.10 return 1