latexdiff is seriously a pain. But if it works...

hazelgrove · Jul 17, 2021 · f47e9eb · f47e9eb
1 parent 1989db5
commit f47e9eb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/9-type-aliases-redux/latex/gendiff.sh b/9-type-aliases-redux/latex/gendiff.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+git latexdiff --lualatex --math-markup=fine --append-safecmd='inferrule' --allow-spaces -o kind-judgements.diff.pdf 4410cd565ce717707e580e44f64868d3175fe2a6 --
diff --git a/9-type-aliases-redux/latex/kind-judgements.pdf b/9-type-aliases-redux/latex/kind-judgements.pdf
diff --git a/9-type-aliases-redux/latex/kind-judgements.tex b/9-type-aliases-redux/latex/kind-judgements.tex
@@ -60,9 +60,6 @@
 \newcommand{\htdefine}[3]{\textt{type }#1 \textt{ = } #2\textt{ in }#3}
 \newcommand{\dtdefine}[4]{\textt{type }#1 \textt{ = } #2 : #3\textt{ in }#4}
 
-\providecommand{\DIFdel}[1]{{\color{red}#1}}
-\providecommand{\DIFadd}[1]{{\color{blue}#1}}
-
 \begin{document}
 
 \begin{figure}[t]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		#!/usr/bin/env bash

		git latexdiff --lualatex --math-markup=fine --append-safecmd='inferrule' --allow-spaces -o kind-judgements.diff.pdf 4410cd565ce717707e580e44f64868d3175fe2a6 --