Do not run all the doctests in build_doc

[thofma]

At the moment , Oscar.build_doc calls makedocs(...) with all our upstream packages. I think this is necessary, so that all docstrings are picked up properly. But this has the big disadvantage, that doctests for all upstream packages are run. This is quite a waste of time and also leads to errors, if run with :fix and something unrelated is broken in a dependency. And it is also not what we do test with CI. I propose to replace

Oscar.jl/docs/make_work.jl

Line 184 in b350dd1

doctest=doctest,

by a separate manual Documenter.doctest(Oscar; doctest = doctest) call.

Any objections @fingolfin @benlorenz? Or something that I am missing?

[fingolfin]

Makes sense to me

[lgoettgens]

This has been fixed by #2423.

[fingolfin]

We now have doctest_fix. I am not sure if there is anything left to be done, @thofma ?

[thofma]

It was already fixed in #2423.