diff options
| -rw-r--r-- | config/list/website.lst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/list/website.lst b/config/list/website.lst index 482da3c24d..7afe8e0a34 100644 --- a/config/list/website.lst +++ b/config/list/website.lst @@ -66,8 +66,8 @@ intro/upbounds.html intro/variances.html intro/xml.html -js/decls.js -js/decls_fr.js -js/index.html +#js/decls.js +#js/decls_fr.js +#js/index.html ############################################################################## |