build: Fix documentation build for the dummy backend

This was inadvertently broken by commit
77d39108cc912ab3926357b5dedbe19e0a3f921a. Whoops.