Fix local filename in vanity counter

This commit is contained in:
Michael Raskin 2014-10-07 16:25:33 +04:00
parent b32dbc8be6
commit 81b766bd95

View file

@ -13,7 +13,7 @@ maintainers="$(cat "$(dirname "$0")/../../lib/maintainers.nix" |
grep '=' | sed -re 's/\\"/''/g;
s/ *([^ =]*) *= *" *(.*[^ ]) *[<](.*)[>] *".*/\1\t\2\t\3/')"
git_lines="$( ( echo "$git_data";
cat vanity-manual-equalities.txt) | sort |uniq)"
cat "$(dirname "$0")/vanity-manual-equalities.txt") | sort |uniq)"
# For RDF
normalize_name () {