Which manual for HP-48SX?

[Eric Rechlin]

It's pretty easy to build a searchable PDF from scanned images with open-source tools. From the Linux command line, assuming your images are PNGs and named in order of the pages:

Code:

for f in *.png;
do
   tesseract "$f" ${f%.png} pdf
done

pdfunite *.pdf output.pdf

If you don't have pdfunite or tesseract, you can install them with the following commands (assuming your distro uses apt):

Code:

sudo apt install poppler-utils
sudo apt install tesseract-ocr

I did all this with Windows 10's built-in Linux services, using Ubuntu 16.04.