Makefile.am: don't try to rebuild documentation if not necessary
(doesn't work in VPATH build, so breaks distcheck).
.gitignore: we have reverted from zip to tgz tarballs.