Actually `make html_noapi` does seem to be working - I'd just got my build directory into a broken state somehow.