[docs] tools

[Alexandre Prokoudine]

Hi,

Возвращаясь к понятой мной однажды теме онлайнового редактирования
XML...

http://phpxiedit.sourceforge.net/

Это редактор на PHP. текущая версия - 0.7, т.е не обязательно pretty
stable, но наверняка pretty featured

Кроме того, 

http://www.tldp.org/texi2db/ и
http://www.tldp.org/downloads/texi2db-0.5.tar.gz - конвертер из TexInfo
в DocBook (знал бы раньше... :-(( - плох искал)

http://www.irule.be/bvh/c++/rosetta/ - тоже вроде редактора

А.П.