I use DjVuLibre : DjVu
In DjVuLibre
To convert it to pdf : File > Export as… > PDF format
To convert pdf file to character recognizable pdf file :
you can use Acrobat Pro/Standard DC 2020 (direct link Acrobat
Pro/Standard DC 2020(it comes with trial version)
in Acrobat > Tools > Scan and OCR > Recognize Text > in this file
![enter image description here](https://cdn.statically.io/img/i.sstatic.net/xBI7u.png)
Or
you can use tesseract-ocr : tesseract-ocr download page.I use it
with wsl/linux.Here is the bash script (it uses ghostscript &&
tesseract)
#!/bin/bash
notify-send "started gs" && pdftoppm -r 660 *.pdf outputname -png && for i in *png; do b=`basename "$i" .png`; tesseract "$i" "$b" pdf; done && gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -dAutoRotatePages=/None -sOutputFile=finished.pdf outputname-*.pdf && notify-send "done" && notify-send "deleting left overs" && rm *png && rm outputname-*.pdf && notify-send "cleaned"