You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
180 B
13 lines
180 B
7 years ago
|
#/bin/bash
|
||
|
|
|
||
|
|
if [[ "$1" == "" ]]; then
|
||
|
|
echo "missing arg"
|
||
|
|
exit
|
||
|
|
fi
|
||
|
|
|
||
|
|
echo "Processing $1"
|
||
|
|
sed -i 's/ \\ref/~\\ref/g' "$1"
|
||
|
|
sed -i 's/ \cite/~\cite/g' "$1"
|
||
|
|
|
||
|
|
git diff --word-diff "$1"
|