7f9766e49a
contrib: * texi2pod.pl: Handle @samp and @url inside verbatim blocks. Handle @heading. Handle enumerated lists with starting numbers and extra headings. gcc: * doc/include/gpl_v3.texi: Update for manpage generation. * doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of gpl.texi. * doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi. * Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include gpl_v3.texi instead of gpl.texi. (gpl.pod): New. gcc/fortran: * gfortran.texi: Include gpl_v3.texi instead of gpl.texi * Make-lang.in (GFORTRAN_TEXI): Include gpl_v3.texi instead of gpl.texi. gcc/java: * gcj.texi: Include gpl_v3.texi instead of gpl.texi * Make-lang.in (TEXI_JAVA_FILES): Include gpl_v3.texi instead of gpl.texi. From-SVN: r133794