djvutoxml (DjVuLibre)

Utilita 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.

Použití

djvutoxml [volby] djvusoubor [volby] vystup.xml

Volby

--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

Příklady použití

Omezení

Souč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.