[patches] Added manual files to svn:ignore list

[Jim Blandy <jimb@xxxxxxxxxxxxxxxx>]

I've committed the following change.  It might be preferable to
generate the .texi files, timestamps, and so on in the build tree, but
at the very least, the .info and .info-* files do need to be ignored;
they're included in the distribution, and so must be generated in the
source tree.

------------------------------------------------------------------------
r2088 | jimb | 2007-04-26 17:25:33 -0700 (Thu, 26 Apr 2007) | 3 lines

Add info files, generated .texi files, texis list and timestamps
to svn:ignore list.

------------------------------------------------------------------------

Property changes on: manual
___________________________________________________________________
Name: svn:ignore
   + *.c.texi
*.info
*.info-*
chapters.texi
top-menu.texi
dir-add.texi
summary.texi
libm-err.texi
texis
stamp-libm-err