manual: Showing CCB documentation correctly

[HarryMakes]

ARTIQ Pull Request

Description of Changes

Re-implement pull request #1297. artiq.dashboard should be removed from the list of mocked modules (that are mocked with unittest.mock instead of Sphinx's autodoc mocking), such that it stops being treated as an alias of unittest.mock when Sphinx is generating the doc.

Related Issue

Closes #1293, again.

[sbourdeauducq]

@HarryMakes Should this be applied to release-5 as well?

[HarryMakes]

Just tested the exact same change (i.e. removing artiq.dashboard from mock_modules) on release-5 locally, and the fix also works without breaking anything. It should be safe to apply my patch to release-5.

But I just found a difference in the representation of our ARTIQ compiler types (TInt32, TFloat, ...) between the online release-5 manual and the online beta manual. One example is artiq.coredevice.sawg.Config.set_div, where the argument types are clearly the same but displayed differently between release-5 and beta. However, I can't reproduce the online release-5 version by all means locally - my local Sphinx outputs using ARTIQ-5 source code (with and without my CCB patch) shows the same kind of argument types as Beta.

Version
online release-5
online beta / local release-5/beta builds

What are supposed to show in those functions: the exact ARTIQ type names, the corresponding Python built-in types (int, float), or the numpy types (numpy.int32, numpy.float64)?

[sbourdeauducq]

It should show numpy.int32 etc.
That's probably sphinx-doc/sphinx#3857 which is fixed by monkey-patching in ARTIQ.