4 awk -v SRC=$1 'BEGIN{while (getline < SRC) {ENTRY[$0]=1}} (ENTRY[$0] != 1) {print}' $2
11 cp fonts.alias fonts.alias.orig
12 (grepv %%FONTSALIAS%% fonts.alias.orig; cat %%FONTSALIAS%%) \
14 rm -f fonts.alias.orig
19 cp fonts.alias fonts.alias.orig
20 grepv %%FONTSALIAS%% fonts.alias.orig > fonts.alias
21 rm -f fonts.alias.orig
22 if [ ! -s fonts.alias ]; then