diff --git a/.gitpod.yml b/.gitpod.yml index 2749562c5..de8a62ea7 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -9,10 +9,12 @@ tasks: publtools_check cd config publishtools install + cd .. clear echo ' -- WEB PUBLISH TOOLS -- ' echo - echo ' - do "publishtools run" to run website.' + echo ' - do "./run" to run website.' + echo ' - do "./build" to build website, see in dir build for result.' echo ' - do "open ../workspace.code-workspace" to open all relevant dirs in your editor.' ports: - port: 9998