From 03805e7e0c7f14edaf3194eddb0b8d1dab03f315 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Sun, 23 Jun 2024 14:46:00 +0200
Subject: [PATCH] fix

---
 .github/deploy.yml       | 1 -
 .github/ppa-wip/build.sh | 2 --
 2 files changed, 3 deletions(-)

diff --git a/.github/deploy.yml b/.github/deploy.yml
index e2a0fb4..a370f2e 100644
--- a/.github/deploy.yml
+++ b/.github/deploy.yml
@@ -139,7 +139,6 @@ ppa:
         - 'third_party'
         - 'CMakeLists.txt'
         - 'README.md'
-        - 'INSTALL.md'
         - 'LICENSE'
         - 'CHANGES.md'
     distributions:
diff --git a/.github/ppa-wip/build.sh b/.github/ppa-wip/build.sh
index 8285d56..e66b96d 100755
--- a/.github/ppa-wip/build.sh
+++ b/.github/ppa-wip/build.sh
@@ -58,7 +58,6 @@ for act in "${@}"; do
                 ../../third_party \
                 ../../CMakeLists.txt \
                 ../../README.md \
-                ../../INSTALL.md \
                 ../../LICENSE \
                 ../../CHANGES.md \
                 $rep/
@@ -95,7 +94,6 @@ EOF
                 "${rep}"/third_party \
                 "${rep}"/CMakeLists.txt \
                 "${rep}"/README.md \
-                "${rep}"/INSTALL.md \
                 "${rep}"/LICENSE \
                 "${rep}"/CHANGES.md \
                 "${rep}"/debian/files \