X-Git-Url: http://git.roojs.org/?a=blobdiff_plain;f=JSDOC%2FOptions.js;h=ef81cfb6e9cb27095b79a42f475861c4638e5147;hb=9427b6a51f5d7eff9b8cf540c062e66574df009a;hp=a613795fc131ad9c4e686dbd72ae4fbeda562c77;hpb=92b69382f0f739831b7a8dd6aca47d9e634df359;p=gnome.introspection-doc-generator

diff --git a/JSDOC/Options.js b/JSDOC/Options.js
index a613795..ef81cfb 100644
--- a/JSDOC/Options.js
+++ b/JSDOC/Options.js
@@ -14,6 +14,7 @@ Options = {
     "template": '',   // was t.
     // "recurse": false,   // was r. - not supported..
     "ext": '',   // was x.
+    "publishExt" : 'html',
     "private": '',   // was p
     "allfunctions": '',   // was a
     "encoding": '',   // was e.