From e2687d3a03a2231b28c9a94fa3314437c5f8927c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Tue, 28 Apr 2020 07:42:24 +0000
Subject: [PATCH] isabelle-prepare: fix: use correct filename
---
ulo/isabelle-prepare.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ulo/isabelle-prepare.sh b/ulo/isabelle-prepare.sh
index eea1c20..9459109 100755
--- a/ulo/isabelle-prepare.sh
+++ b/ulo/isabelle-prepare.sh
@@ -25,6 +25,6 @@ for file in $files; do
# uncompress, fix iris, compress again
unxz "$file"
- sed -i 's/|/%7C/g' "$file"
+ sed -i 's/|/%7C/g' "$rdf_file"
gzip "$rdf_file"
done
--
GitLab