2013 update; pacify texinfo 5 -- thanks to Stefan Hubmann

git-svn-id: https://svn.r-project.org/ESS/trunk@5416 0bbaf3bd-34e0-0310-bf65-c717079852d4