[patch] Fix PR38465: graphite libraries undocumented

[Joseph S. Myers]

On Sun, 14 Dec 2008, Sebastian Pop wrote:

> On Sun, Dec 14, 2008 at 6:58 PM, Joseph S. Myers
> <joseph@codesourcery.com> wrote:
> > Anyone with shell access to gcc.gnu.org and write access to GCC can upload
> > a file to that directory.
> 
> I cannot access the shell on gcc.gnu.org.

I have uploaded the file you provided.  The patch will need changing to 
give the right file name.

> > The list of configure options in install.texi (the long table under
> > "Options specification") needs to list all the new configure options for
> > the new libraries,
> 
> I updated the patch to specify --with-ppl and --with-cloog in that
> table.

This should not be talking about @var{gmpinstalldir} and 
@var{mpfrinstalldir}, and should also document the --with-*-{lib,include} 
options as is done for GMP and MPFR.

-- 
Joseph S. Myers
joseph@codesourcery.com