Update packages.toml

jump-dev · Nov 5, 2023 · 47c0fc5 · 47c0fc5
1 parent 3cb3144
commit 47c0fc5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -128,6 +128,7 @@
 [EAGO]
     user = "PSORLab"
     rev = "v0.8.1"
+    has_html = true
 [GAMS]
     user = "GAMS-dev"
     rev = "c5dee9f929e9d2f4433ae09fa92b8d872c9c43e0"