diff --git a/examples/resources/common.js b/examples/resources/common.js index 2609dbbd7c..c731a39b59 100644 --- a/examples/resources/common.js +++ b/examples/resources/common.js @@ -10,6 +10,31 @@ }); } + // Check whether links to API-docs of used classes actually point to + // existing html-files: + $('#api-links a').each(function() { + var url = this.href; + $.ajax({ + type: 'HEAD', + url: url, + context: this, + error: function() { + // We get into the error if either the resource didn't exist + // or if HEAD was not allowed (when serving locally via node) + // => remove the