[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
a new command that converts XML Texinfo to Texinfo
|
From: |
Patrice Dumas |
|
Subject: |
a new command that converts XML Texinfo to Texinfo |
|
Date: |
Sat, 8 Sep 2012 00:51:55 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
Hello,
I am about to commit a perl script that depends on XML::LibXML::Reader
and Texinfo::Convert::XML and allows to turn Texinfo XML back to Texinfo.
What should that command be named? I currently use texixml2texi, but
I am not sure it is wise to use once more the texi* name. I intend to
put the command in util/, any objection?
--
Pat
- a new command that converts XML Texinfo to Texinfo,
Patrice Dumas <=