#363 djvups does not preserve the text encoding

[anon]

When I convert from djvu to ps with djvups -page=1 -verbose a.djvu a.ps, the fonts get corrupted, that is even when I can copy paste text in the original djvu file, I cannot do that in the resulting ps file. Same if I convert the ps file to pdf.
Looking at the encoding array, it appears to be not populated at all

/$DjVuLocalFont 7 dict def
$DjVuLocalFont begin
/FontType 3 def 
/FontMatrix [1 0 0 1 0 0] def
/FontBBox [0 0 1 .5] def
/CharStrings 2958 dict def
/Encoding 2 array def
0 1 1 {Encoding exch /.notdef put} for 

Meanwhile if I use ddjvu -format=pdf -page=1 -verbose a.djvu a.pdf, no text is recognized at all. It appears to be using.
On another note, it looks like ddjvu --help is not listing pdf as a possible option

$ ddjvu --help
DDJVU --- DjVuLibre-3.5.28
DjVu decompression utility

Usage: ddjvu [options] [<djvufile> [<outputfile>]]

Options:
  -verbose          Print various informational messages.
  -format=FMT       Select output format: pbm,pgm,ppm,pnm,rle,tiff.

see no pdf is listed. But specifying -format=pdf works just fine for me.

[Leon Bottou]

I would have to see the file a.djvu to understand.
Maybe you can try to give the output of command djvudump a.djvu to get an idea.