log libinterp/gendoc.pl @ 17296:3a9efb68272d ss-3-7-6

age author description
Thu, 15 Aug 2013 12:31:22 -0700 Rik doc: Use 0x1d as record separator for joint compatibility with Texinfo 4.x and 5.x.
Tue, 13 Aug 2013 23:42:30 -0400 Mike Miller doc: Update doc cache delimiter to work with Texinfo 5.0 (bug #39778)
Sat, 05 Jan 2013 19:58:22 -0500 John W. Eaton maint: merge stable to default base src/gendoc.pl@02af5cfd153a
Sat, 18 Aug 2012 16:23:39 -0400 John W. Eaton split libinterp from src base src/gendoc.pl@02af5cfd153a