K 10 svn:author V 3 dim K 8 svn:date V 27 2011-05-03T14:43:16.051921Z K 7 svn:log V 93 Fix stack smash problem in makeinfo, by increasing buffer sizes in current_chapter_number(). END