don't try to build pdf manual when running make install (only
generated for 'make release' )