<div id="comment:0"></div> This includes - #33064: do not fail when docbuild cache cannot be saved - remove dochtml label from some tests that don't need docs installed - add dochtml label to some tests that need docs installed - use dochtml as default option only when html docs are installed Depends on #33064 CC: @jhpalmieri Component: **doctest framework** Author: **Gonzalo Tornaría** Branch/Commit: **[`88dd9f3`](https://github.com/sagemath/sagetrac-mirror/commit/88dd9f3a1611fed0cc66fb838eb85739646dd34d)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/33085_