From 71c1db425d147edf76f9fd78cd1f6c60c77cf39a Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Fri, 9 Sep 2022 16:56:34 +0200
Subject: [PATCH] use new ragdoc images
---
.gitlab-ci.yml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d3399cf..1d2e7b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -60,7 +60,6 @@ publish_main:
ragdoc_build:
image:
name: "git-st.inf.tu-dresden.de:4567/jastadd/ragdoc-builder"
- entrypoint: [""]
stage: ragdoc
needs:
- build
@@ -75,7 +74,6 @@ ragdoc_build:
ragdoc_view:
image:
name: "git-st.inf.tu-dresden.de:4567/jastadd/ragdoc-view:relations"
- entrypoint: [""]
stage: ragdoc
needs:
- ragdoc_build
@@ -84,7 +82,7 @@ ragdoc_view:
- mkdir -p pages/docs/ragdoc
- OUTPUT_DIR=$(pwd -P)/pages/docs/ragdoc
- cd /ragdoc-view/src/ && rm -rf data && ln -s $DATA_DIR
- - /ragdoc-view/build-view.sh --output-path=$OUTPUT_DIR
+ - BASE_HREF=/dumpAst/ragdoc/ /ragdoc-view/build-view.sh --output-path=$OUTPUT_DIR
only:
- dev
- main
--
GitLab