Název
editovatdjvutoxml - Utilita pro export textového obsahu DjVu dokumentu do XML
Použití
editovatdjvutoxml [volby] djvusoubor [volby] vystup.xml
Popis
editovatAplikace djvutoxml je určená pro export textového obsahu DjVu dokumentu do XML souboru, který lze pak dále zpracovávat pomocí XSLT transformací, atp.
Volby
editovat--page pořadové_číslo_stránky
- Do výstupu je zahrnuta pouze vybraná stránka.
--with-text
- Do XML výstupu je vložena textová vrstva
--without-text
- Do XML výstupu není vložena textová vrstva.
--with-anno
- Do XML výstupu jsou zahrnuty poznámky, linky a metainformace
--without-anno
- Výstup neobsahuje metainformace, linky a poznámky
Omezení
editovatSoučasná verze nástrojů, která je součástí distribučního balíku, je jemně řečeno na prd. djvutoxml vůbec nepracuje se záložkami a alternativními tituly stránek. A djvuxmlparser navíc neumí uspokojivě importovat hyperlinky.