| This directory contains an official PDF.js release version, distributed at: https://github.com/mozilla/pdf.js |
| |
| To update to a newer version: |
| |
| 1. Delete existing files except for this README.webkit.md. |
| 2. Grab a new official release (*-dist.zip, modern browsers version) distributed at GitHub and extract everything into this directory. |
| 3. Delete the sourcemap (.js.map) files (currently viewer.js.map, pdf.js.map, pdf.worker.js.map, and pdf.sandbox.js.map). |
| 4. Delete the example PDF file, compressed.tracemonkey-pldi-09.pdf. |
| 5. From top source dir, run: 'Tools/glib/generate-pdfjs-resource-manifest.py --cmake --input=Source/ThirdParty/pdfjs --output=Source/ThirdParty/pdfjs/PdfJSFiles.cmake' |
| 6. Build WebKit, your favorite port will do |
| 7. Sanity-check by loading https://www.irs.gov/pub/irs-pdf/i1040gi.pdf (big PDF) and https://www.irs.gov/pub/irs-pdf/f1040.pdf (PDF with forms) |
