From 7563a9dfa0dcfa28c5d91ad223ba98770d5e571c Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Mon, 18 Nov 2013 14:37:01 -0800
Subject: [PATCH] Update docs on the workerSrc setting.

---
 examples/helloworld/index.html | 3 ++-
 src/display/api.js             | 4 +++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/examples/helloworld/index.html b/examples/helloworld/index.html
index 9a70e7ae4..35ddf2838 100644
--- a/examples/helloworld/index.html
+++ b/examples/helloworld/index.html
@@ -16,7 +16,8 @@
 
   <script type="text/javascript">
     // Specify the main script used to create a new PDF.JS web worker.
-    // In production, change this to point to the combined `pdf.js` file.
+    // In production, leave this undefined or change it to point to the
+    // combined `pdf.worker.js` file.
     PDFJS.workerSrc = '../../src/worker_loader.js';
   </script>
   <script type="text/javascript" src="hello.js"></script>
diff --git a/src/display/api.js b/src/display/api.js
index 56c497916..47a785be1 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -56,7 +56,9 @@ PDFJS.disableWorker = PDFJS.disableWorker === undefined ?
                       false : PDFJS.disableWorker;
 
 /**
- * Path and filename of the worker file. Required when the worker is enabled.
+ * Path and filename of the worker file. Required when the worker is enabled in
+ * development mode. If unspecified in the production build, the worker will be
+ * loaded based on the location of the pdf.js file.
  * @var {String}
  */
 PDFJS.workerSrc = PDFJS.workerSrc === undefined ? null : PDFJS.workerSrc;