/cvs/cvsfiles/devo/texinfo/libtxi
