This directory holds html templates used as part of make 'web' when
building a html redistribution directory.  Otherwise, this directory may
be ignored.