CircuitPython version

9.1.x, main

Code/REPL

# readthedocs problem

Behavior

https://docs.circuitpython.org/en/latest/shared-bindings/board/index.html is empty, when it should have content

Description

During readthedocs, the empty __init__.py is used for generating the documentation of this module, rather than the __init__.pyi file:

[AutoAPI] Reading files... [ 47%] /home/docs/checkouts/readthedocs.org/user_builds/circuitpython/checkouts/9.1.x/circuitpython-stubs/board/__init__.py

Additional information

I thought I had fixed this in #9431 but apparently my fix was incorrect.