#809 (Dec 7, 2018, 12:50:07 AM)

1. obsolete; (detail / hgweb)
2. clarified error; (detail / hgweb)
3. clarified defaults: explicit "rev" takes precedence; (detail / hgweb)
4. more explicit Components.Archive;
   support additional components, which also enforces clean bundling; (detail / hgweb)
5. proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); (detail / hgweb)
6. tuned message; (detail / hgweb)
7. more explicit Platform.Family; (detail / hgweb)
8. clarified doc sections: add-on components may focus their own application name; (detail / hgweb)
9. more robust, notably for macos /var vs. /private/var; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.