Updating the manual for TeXLive 2013