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 --- (limited to 'control') -- cgit v0.9.1