Add custom domain file generation to GH action.

knadh · Jun 26, 2022 · 6d67944 · 6d67944
1 parent a1e164b
commit 6d67944
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,6 +37,9 @@ jobs:
       # Rename the generated mkdocs dcumentation in the ./_site directory to ./docs.
       - run: mv -fT "${GITHUB_WORKSPACE}/_out" docs
 
+      # Add custom GH pages domain file.
+      - run: echo "dict.press" > CNAME
+
       # Commit everything and push gj-pages/
       - run: git add -A && git commit -am "Publish site"
       - run: git push --force origin gh-pages