(This article is for engineers (somewhat technical).)
Since PPL runs on Safari, it is necessary to convert PDFs to HTML format that can be read by Safari.
To use, click the upper left button to start, and after starting, click the left button to Undo, Reset, and the right button to show/hide the table of contents.
The following is how to install pdf2htmlEX.
0. Online Converter
Online converters (e.g. convertio uses pdf2htmlEX to convert PDF to HTML) may also be available. The following 1, 2, and 3 are explanations in case you install it by yourself. If you want to use an online converter, please go to 4.
2. Replace the document reader
2. 1. locating pdf2htmlEX.min.js
2.2. Replacing the file
3. run pdf2HTMLEx
The following command is recommended. xxx.pdf (target file name) and /home/xxx/Desktop (output destination) can be rewritten as appropriate.
pdf2htmlEX xxx.pdf --dest-dir /home/xxx/Desktop --tounicode 1 --decompose-ligature 1 --turn-off-ligatures 1
Now html readable by PPL is generated.
4. File Preparation
4.1. Loading offline HTML files
This will be supported in the next update (ver. 2.0.5).
4.1.1. Show file load button
The file load button is hidden by default. Set local HTML Toggle to Yes in the options screen as shown in the image below.
4.1.2. file selection
Do as shown in the video below. Open any page, select the button you have just activated (it appears a little above the Undo and Reset buttons), and select the local HTML.
4. 2 Uploading to the server
It is also possible to upload html files to a server for reading. Hosting is required (you cannot just select a file uploaded to DropBox, etc.).