* share/Makefile.ami, doc/Makefile.am: forgot to include some files in the "make dist".