Mark sagemath_doc_html type as optional

tobiasdiez · tobiasdiez · commit 89a90ba0bed8 · 2025-07-01T23:17:22.000+02:00
diff --git a/src/sage/features/sagemath.py b/src/sage/features/sagemath.py
@@ -101,7 +101,7 @@ def __init__(self):
                             filename='html',
                             search_path=(SAGE_DOC,),
                             spkg='sagemath_doc_html',
-                            type='standard')
+                            type='optional')
 
 
 class sage__combinat(JoinFeature):
