allow make install without the doc