Skip to content
Snippets Groups Projects
Commit e2687d3a authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

isabelle-prepare: fix: use correct filename

parent c2813fcf
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment