2014-04-09 Karl Berry Peter Breitenlohner * texlive.texi: Update for Texinfo, etc. * build.texi, build-tools (removed): Moved ... * tlbuild.texi, build-tools.txt (new): ... to here. * splitinfo.gawk (new): Awk script to generate README.* files. * Makefile.am: Adapted. 2013-12-14 Peter Breitenlohner * doc/build.texi: Fixed some typos.