Fix broken doctest

[fingolfin]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.93%. Comparing base (64c6f29) to head (6c9e7f5).

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #71   +/-   ##
=======================================
  Coverage   90.93%   90.93%           
=======================================
  Files           8        8           
  Lines         739      739           
=======================================
  Hits          672      672           
  Misses         67       67           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[fingolfin]

I did this before in PR #35 which you merged ... and then reversed... This time I added a comment to docs/make.jl that explain how it works. I hope this time it'll stick.

And maybe next time ask questions if you can't figure out how something works, it's not as if our offices were, like, next to each other :-). We also have plenty other people who know about Julia and can help. And we have a Slack (which you have joined before, I think? Otherwise see https://oscar-system.org/slack ) which is a great place to get advise. And then of course that's just OSCAR specific, there is a Julia Slack, discourse, and many more resources were you can learn and get support.

[fingolfin]

I find your actions very confusing especially since you almost never explain them :-(. Like now: you approve but then don't merge but instead close the PR? Why?

in the meantime you changed the CI code to use docs/makelocal.jl -- clearly this is incompatible with this PR. It also is odd to me, because that file, as its name suggests, was/is for local use, not on a (remote) CI server