Fix "make install_docs" (and thus "make install").