/gpl.texinfo/1.1/Tue Jul 13 19:56:14 1999//
/lgpl.texinfo/1.1/Tue Jul 13 19:56:14 1999//
/texinfo.tex/1.1/Tue Jul 13 19:56:14 1999//
D/util////
