From 3f6c3779adb4fafcef2e3326cffa13b7772bd06f Mon Sep 17 00:00:00 2001
From: fnetX <git@fralix.ovh>
Date: Wed, 18 May 2022 18:42:20 +0200
Subject: [PATCH] pages compatibility for deployment

---
 deploy.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deploy.sh b/deploy.sh
index 3a5b42b..16c2355 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -7,6 +7,7 @@ rm -rf pages.git
 mkdir pages.git
 ( cd pages.git && git init -b "$DEPLOYMENT_BRANCH" )
 rsync -av _site/* pages.git/
+echo "docs.codeberg.org" > pages.git/.domains
 ( cd pages.git && git add -A )				## add all generated files
 ( cd pages.git && git commit -m "Deployment at $(date -u -Is)" )	## commit all
 ( cd pages.git && git remote add origin "$DEPLOYMENT_REPO" )