diff --git a/auxil/spicy b/auxil/spicy
index 5ff0cfea39..588c79a8c4 160000
--- a/auxil/spicy
+++ b/auxil/spicy
@@ -1 +1 @@
-Subproject commit 5ff0cfea39ece44d1ef94f9762926b4bb4138d58
+Subproject commit 588c79a8c4d3cb7e7e8265a9e85d59cb4bd5f972
diff --git a/doc b/doc
index 5c377d2320..44651a4526 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 5c377d232043cfcaf23df260880ca1613b19a9f4
+Subproject commit 44651a45261613b14dbd44e0ea8376346a689bd8