Arrange `make release' targets everywhere, and also `make html'