Drop unused script generate-sources-and-gitignore.sh

Version: 10.7-1
2019-02-15 10:06:17 +01:00 · 2019-02-15 10:06:17 +01:00 · e1f85b7973
commit e1f85b7973
parent 174efeb89d
1 changed files with 0 additions and 13 deletions
--- a/generate-sources-and-gitignore.sh
+++ b/generate-sources-and-gitignore.sh
@ -1,13 +0,0 @@
-#! /bin/sh
-
-rm sources .gitignore
-set -e
-spectool -S *.spec | cut -d' ' -f2 \
-    | grep -E -e 'postgresql-.*\.tar\.*' -e 'postgresql.*\.pdf' | sort | \
-while read line
-do
-    base=`basename "$line"`
-    echo " * handling $base"
-    sha512sum --tag "$base" >> sources
-    echo "/$base" >> .gitignore
-done