Fix bootstrap.sh.

	* bootstrap.sh: Refresh the timestamps of the documentation.
	* Makefile.am (dist-hook): Prune this ``refresh'' action from
	bootstrap.sh when distributing.

    prcs2git-id: 10.285