Dump glossary index to glossary_index.json

1 files changed, 4 insertions, 2 deletions

diff --git a/lib/generate/site/glossary_indexer.js b/lib/generate/site/glossary_indexer.js
index 6360cfc..da653c8 100644
--- a/lib/generate/site/glossary_indexer.js
+++ b/lib/generate/site/glossary_indexer.js
@@ -63,8 +63,6 @@ Indexer.prototype.text = function(nodes) {
 // Add page to glossary index
 Indexer.prototype.add = function(sections, url) {
     if(!(this.glossary && this.glossary.length > 0)) {
-        console.log('Glossary =', this.glossary);
-        console.log('No glossary to match');
         return;
     }
 
@@ -91,6 +89,10 @@ Indexer.prototype.add = function(sections, url) {
 };
 
 
+Indexer.prototype.dump = function() {
+    return JSON.stringify(this.idx);
+};
+
 
 function regexEscape(s) {
     return s.replace(/[-\/\\^$*+?.()|[\]{}]/g, '\\$&');