GEX thesis source code, full text, references

formalize2.sh 180B

12345678910111213
  1. #/bin/bash
  2. if [[ "$1" == "" ]]; then
  3. echo "missing arg"
  4. exit
  5. fi
  6. echo "Processing $1"
  7. sed -i 's/ \\ref/~\\ref/g' "$1"
  8. sed -i 's/ \cite/~\cite/g' "$1"
  9. git diff --word-diff "$1"