Update of /projects/cvsroot/python/dist/src/Doc/tools In directory weyr:/home/fdrake/projects/python/Doc/tools Added Files: html2texi.pl checkargs.pm Log Message: New conversion tools for HTML->info from Michael Ernst <mernst@cs.washington.edu>. Thanks!