build: Remove dest/usr/share/doc/mpfr/HEADmaster

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

1 files changed, 1 insertions, 0 deletions

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