Rename 'temp-directory' bot to 'host-tools'
Description
Change the name of the temp-directory
bot to something more revealing.
Changes proposed in this merge request:
-
Change the CLI option to host-tools
. -
Update the documentation.
Edited by Martin Blanchard