--- viewer/viewer.html.orig 2014-03-07 11:40:58.000000000 +0100 +++ viewer/viewer.html 2014-03-07 11:44:02.000000000 +0100 @@ -31,12 +31,12 @@ - + - + @@ -88,7 +88,7 @@ Presentation Mode - @@ -96,11 +96,11 @@ Print - - + @@ -159,7 +159,7 @@ Presentation Mode - @@ -167,11 +167,11 @@ Print - - + --- viewer/viewer.js.orig 2014-03-07 11:40:40.000000000 +0100 +++ viewer/viewer.js 2014-03-07 11:32:44.000000000 +0100 @@ -23,7 +23,7 @@ 'use strict'; -var DEFAULT_URL = 'compressed.tracemonkey-pldi-09.pdf'; +var DEFAULT_URL = null; var DEFAULT_SCALE = 'auto'; var DEFAULT_SCALE_DELTA = 1.1; var UNKNOWN_SCALE = 0; @@ -55,7 +55,7 @@ }; PDFJS.imageResourcesPath = './images/'; - PDFJS.workerSrc = '../build/pdf.worker.js'; + PDFJS.workerSrc = 'pdf.worker.min.js'; var mozL10n = document.mozL10n || document.webL10n;