adjust dochtml label so doctests pass when html doc is not built/installed

[tornaria]

This includes

• sage_docbuild: fails when cache cannot be saved #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

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/33085

[tornaria]

Commit: 4e364ea

[tornaria]

Branch: u/tornaria/dochtml

[tornaria]

New commits:

a8973f2	sage_docbuild: do not fail when cache cannot be saved
7d3381b	doctests: remove dochtml label from some tests that don't need docs installed
42a76c3	doctests: add dochtml label to some tests that need docs installed
4e364ea	doctests: use dochtml as default option only when html docs are installed

[mkoeppe]

comment:2

This should be redone on top of #32759, which changes the optional tag

[jhpalmieri]

comment:4

In particular with #32759, if docbuilding has been disabled, then sage_docbuild/* won't get doctested by default, so it may not need any special tags. (If someone explicitly doctests that directory, tests will fail, but if they run make ptest or similar, the files in that directory will be skipped.)

[sagetrac-git]

Changed commit from 4e364ea to 78063f3

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

e89193f	sage_docbuild: do not fail when cache cannot be saved
18d0477	doctests: remove dochtml label from some tests that don't need docs installed
78063f3	doctests: add dochtml label to some tests that need docs installed

[tornaria]

comment:6

Rebased to 9.5.rc0, changing dochtml tags for sagemath_doc_html.

Removed the last commit which is now unnecessary.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

88dd9f3

doctests: add dochtml label to some tests that need docs installed

[sagetrac-git]

Changed commit from 78063f3 to 88dd9f3

[mkoeppe]

comment:8

Ready for review? Looks fine to me

[mkoeppe]

Reviewer: Matthias Koeppe

[vbraun]

Changed branch from u/tornaria/dochtml to 88dd9f3