Move PDF generation to another virtual machine to speed up the publication #59
Description
Note: the script from react-deep-tree should be unified with documentation publishing script.
{{ message }}
Note: the script from react-deep-tree should be unified with documentation publishing script.