Online docs give incorrect directory information

[wbhart]

Oscar Benjamin reports:

Looking at the instructions here:
http://flintlib.org/doc/building.html

It says to tell ./configure about where GMP and FMPR are installed and
gives the example:

./configure --with-gmp=/home/user1/local/lib --with-mpfr=/home/user1/local/lib

I've installed GMP and MPFR with --prefix=$(pwd)/local and giving
--with-gmp=$(pwd)/local/lib fails but it seems that
--with-gmp=$(pwd)/local works. Maybe that instruction should be
changed because it suggests to me that I should append /lib.

[wbhart]

I've fixed the issue in trunk, but of course the website will need updating at the next release.