From 17eea7f0eef069c6b1488110585ab7a69ba055d5 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Wed, 01 May 2019 23:54:15 -0400 Subject: build: Remove dest/usr/share/doc/mpfr/ This contains: dest/usr/share/doc/mpfr/AUTHORS dest/usr/share/doc/mpfr/BUGS dest/usr/share/doc/mpfr/COPYING dest/usr/share/doc/mpfr/COPYING.LESSER dest/usr/share/doc/mpfr/examples/can_round.c dest/usr/share/doc/mpfr/examples/divworst.c dest/usr/share/doc/mpfr/examples/ReadMe dest/usr/share/doc/mpfr/examples/rndo-add.c dest/usr/share/doc/mpfr/examples/sample.c dest/usr/share/doc/mpfr/examples/version.c dest/usr/share/doc/mpfr/FAQ.html dest/usr/share/doc/mpfr/NEWS dest/usr/share/doc/mpfr/TODO --- diff --git a/build b/build index 90e4d1a..4b7724a 100755 --- a/build +++ b/build @@ -15,6 +15,7 @@ install: build rm -f 'dest/usr/lib/$(OPK_HOST_ARCH)/libmpfr.la' rm -f 'dest/usr/lib/$(OPK_HOST_ARCH)/libmpfr.a' rm -f dest/usr/share/info/dir + rm -Rf dest/usr/share/doc/mpfr/ oh-fixperms oh-strip oh-installfiles -- cgit v0.9.1