PDF Highlighter integration script, a rewrite of the jQuery plugin without external dependencies.
For development build run:
make
For distribution (minimized and optimized) build run:
make closure-final
Make produces build/pdf-highlighter.min.js
Run:
make js-all
That will create three js files in build/
with different compilation levels.