#358 djvused -f crashes when feeding it it’s own output (per the man page example)

[free Buju]

The man page suggests that these two commands can be used to copy the text of one file to another:

djvused myfile.djvu -e 'output-all' > myfile.dsed
djvused myfile.djvu -f myfile.dsed -s

However it crashes with:

 *** page "shared_anno.iff" not found
 *** (djvused.cpp:381)
 *** 'void verror(const char*, ...)'

There is no version option in the man page but this is the Debian pkg version:

$ dpkg -l djvulibre-bin
ii  djvulibre-bin  3.5.28-2+b1  amd64        Utilities for the DjVu image format

I have created a bash script that makes this trivial to reproduce. Just run the script with no arguments. The script is attached. Note the script is it requires a few tools you won’t necessarily have:

• ImageMagick
• unpaper
• pdfjam (from TeX Live / texlive-extra-utils)
• ocrmypdf
• pdf2djvu

[Leon Bottou]

I would have to see your original myfile.djvu.