diff --git a/coqdoclight.py b/coqdoclight.py
index 664ab7012e8986ca204cfb69e13566e1ae4c23b2..a71db4f00b8d4e362f64b90414b8649319d357e9 100644
--- a/coqdoclight.py
+++ b/coqdoclight.py
@@ -617,7 +617,7 @@ out("""
         implicit_libs: false,
         focus: false,
         editor: { mode: { 'company-coq': true } },
-        all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach'], './addons/equations/coq-pkgs': ['equations']}
+        all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach']}
     };
 
     JsCoq.start(jscoq_ids, jscoq_opts).then(res => {
diff --git a/index.html b/index.html
index f3c245114fe77fc9f3c19093c86b6305bf9a1379..e23f8b69cd650663b8655f308dfc19da87a2d4cd 100644
--- a/index.html
+++ b/index.html
@@ -256,7 +256,7 @@ Qed.</textarea>
         implicit_libs: false,
         focus: false,
         editor: { mode: { 'company-coq': true } },
-        all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach'], './addons/equations/coq-pkgs': ['equations']}
+        all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach']}
     };
 
     JsCoq.start(jscoq_ids, jscoq_opts).then(res => {