JSDOC/TokenReader.js
[gnome.introspection-doc-generator] / JSDOC / Options.js
index 00ebd34..7b81f38 100644 (file)
@@ -127,7 +127,7 @@ Options = {
             if (!v.length || v[0] != '/') {
                 v = _this.baseDir + (v.length ?  '/' + v : '');
             }
-            if (!File.isDirectory(v)) {
+            if (!File.exists(v)) {
                 throw {
                     name: "ArgumentError", 
                     message: "invalid Source Directory : " +  v