djvutoxml (DjVuLibre)
Z thewoodcraft.org
Stránka byla naposledy editována 17.8.2023
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
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.
