If no HTML files are generated, the user should see some kind of (friendly) error message.
If no HTML files are generated, the user should see some kind of (friendly) error message.