New default basename for HTML help files.
1 file changed