diff --git a/main.json b/main.json deleted file mode 100644 index 34174c46bc..0000000000 --- a/main.json +++ /dev/null @@ -1,48 +0,0 @@ -{ - "id": "ol", - - "inputs": [ - "src/all.js" - ], - "paths": [ - "src" - ], - - "define": { - // "goog.dom.ASSUME_STANDARDS_MODE": true, - // "ol.ENABLE_DOM": false, - // "ol.ENABLE_WEBGL": false, - "goog.DEBUG": false - }, - - "externs": [ - "externs/geojson.js", - "externs/webgl-debug.js" - ], - - "mode": "ADVANCED", - "level": "VERBOSE", - // "pretty-print": true, - // "debug": true, - - // "experimental-compiler-options": { - // "generateExports": true - // }, - - "checks": { - // acceptable values are "ERROR", "WARNING", and "OFF" - "accessControls": "ERROR", - "visibility": "ERROR", - "checkTypes": "ERROR", - "checkRegExp": "ERROR", - "checkVars": "ERROR", - "deprecated": "ERROR", - "fileoverviewTags": "ERROR", - "invalidCasts": "ERROR", - "missingProperties": "ERROR", - "nonStandardJsDocs": "ERROR", - "undefinedVars": "ERROR" - }, - - "jsdoc-html-output-path": "jsdoc" -}