fix it so that 'make' on its own works even if we're not building docs