summaryrefslogtreecommitdiffstats
path: root/Doc/tools/html2texi.pl
Commit message (Expand)AuthorAgeFilesLines
* update the documentation contact addressFred Drake2003-07-301-1/+1
* Update to the latest version of Michael Ernst's script.Fred Drake1999-01-141-24/+104
* output_body(): For <address> elements, just skip, since they'reFred Drake1999-01-111-0/+4
* New conversion tools for HTML->info from Michael ErnstFred Drake1999-01-081-0/+1666