summaryrefslogtreecommitdiff
path: root/makediffpdf.sh
AgeCommit message (Expand)Author
2014-12-23makediff: exit on makediff.sh failuremstsirkin
2014-06-26script to create html diff as wellmstsirkin
2014-06-26more latexdiff hacksmstsirkin
2014-06-26work around xetex bugmstsirkin
2014-06-26makediffpdf.sh: tool to create marked-up diffmstsirkin