diff options
| -rw-r--r-- | website/resources/js/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/resources/js/main.js b/website/resources/js/main.js index f07da70d..5608a3c3 100644 --- a/website/resources/js/main.js +++ b/website/resources/js/main.js @@ -39,7 +39,7 @@ self.data("clc", true); if (!href || href.substr(0, 4) === "http" || href === "/api/" || href === "/" || href === "/supporters" || href === "/order-license") return; var ext = href.substr(href.length - 4, 4); - if (ext === ".xml" || ext === ".jar") return; + if (ext === ".xml" || ext === ".jar" || ext === ".pdf") return; self.on("click", function(evt) { evt.preventDefault(); var key = toKey(window.location.pathname); |