Try to fix GH artifact deployment stage #3

php-type-language · Jan 31, 2024 · 07fa26f · 07fa26f
1 parent 3f25929
commit 07fa26f
Show file tree

Hide file tree

Showing 19 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -9,7 +9,7 @@ permissions:
   pages: write
 
 env:
-  INSTANCE: tl
+  INSTANCE: Writerside/tl
   ARTIFACT: webHelpTL2-all.zip
   DOCKER_VERSION: 232.10275
 

diff --git a/cfg/buildprofiles.xml → Writerside/cfg/buildprofiles.xml b/cfg/buildprofiles.xml → Writerside/cfg/buildprofiles.xml
diff --git a/cfg/glossary.xml → Writerside/cfg/glossary.xml b/cfg/glossary.xml → Writerside/cfg/glossary.xml
@@ -1,5 +1,5 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE terms SYSTEM "https://resources.jetbrains.com/writerside/1.0/glossary.dtd">
-<terms>
-    <term name="FQN">Fully Qualified Name</term>
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE terms SYSTEM "https://resources.jetbrains.com/writerside/1.0/glossary.dtd">
+<terms>
+    <term name="FQN">Fully Qualified Name</term>
 </terms>
diff --git a/images/icon.png → Writerside/images/icon.png b/images/icon.png → Writerside/images/icon.png
diff --git a/images/splash.png → Writerside/images/splash.png b/images/splash.png → Writerside/images/splash.png
diff --git a/redirection-rules.xml → Writerside/redirection-rules.xml b/redirection-rules.xml → Writerside/redirection-rules.xml
diff --git a/tl.tree → Writerside/tl.tree b/tl.tree → Writerside/tl.tree
diff --git a/topics/language/basic-types.md → Writerside/topics/language/basic-types.md b/topics/language/basic-types.md → Writerside/topics/language/basic-types.md
diff --git a/topics/language/callables.md → Writerside/topics/language/callables.md b/topics/language/callables.md → Writerside/topics/language/callables.md
diff --git a/topics/language/generic-types.md → Writerside/topics/language/generic-types.md b/topics/language/generic-types.md → Writerside/topics/language/generic-types.md
diff --git a/topics/language/language.md → Writerside/topics/language/language.md b/topics/language/language.md → Writerside/topics/language/language.md
diff --git a/topics/language/literal-types.md → Writerside/topics/language/literal-types.md b/topics/language/literal-types.md → Writerside/topics/language/literal-types.md
diff --git a/topics/language/logical-types.md → Writerside/topics/language/logical-types.md b/topics/language/logical-types.md → Writerside/topics/language/logical-types.md
diff --git a/topics/language/shapes.md → Writerside/topics/language/shapes.md b/topics/language/shapes.md → Writerside/topics/language/shapes.md
diff --git a/topics/overview.topic → Writerside/topics/overview.topic b/topics/overview.topic → Writerside/topics/overview.topic
diff --git a/topics/parser.md → Writerside/topics/parser.md b/topics/parser.md → Writerside/topics/parser.md
diff --git a/topics/parser/visitors.md → Writerside/topics/parser/visitors.md b/topics/parser/visitors.md → Writerside/topics/parser/visitors.md
diff --git a/topics/printer.md → Writerside/topics/printer.md b/topics/printer.md → Writerside/topics/printer.md
diff --git a/writerside.cfg → Writerside/writerside.cfg b/writerside.cfg → Writerside/writerside.cfg