Remove docs from automatically building in Gitpod (#23978)

I couldn't find a way to build the docs without `trans-copy` and
spinning up a dev environment that generates files untracked by git on
startup is not a good development experience

Signed-off-by: Yarden Shoham <git@yardenshoham.com>
This commit is contained in:
Yarden Shoham 2023-04-07 22:55:25 +03:00 committed by GitHub
parent 95b46c873b
commit 518d384346
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -23,13 +23,6 @@ tasks:
gp sync-await setup gp sync-await setup
make watch-frontend make watch-frontend
openMode: split-right openMode: split-right
- name: Run docs
command: |
gp sync-await setup
cd docs
make clean update
hugo server -D -F --baseUrl $(gp url 1313) --liveReloadPort=443 --appendPort=false --bind=0.0.0.0
openMode: split-right
vscode: vscode:
extensions: extensions:
@ -46,5 +39,3 @@ vscode:
ports: ports:
- name: Gitea - name: Gitea
port: 3000 port: 3000
- name: Docs
port: 1313