equal
deleted
inserted
replaced
|
1 rm diagrams.list |
|
2 for source in `ls ../../text/*.tex`; |
|
3 do |
|
4 ./find_diagrams.sh $source |
|
5 done; |
|
6 ./find_diagrams.sh ../../sandbox.tex |
|
7 ./find_diagrams.sh ../../todolist.tex |
|
8 ./find_diagrams.sh ../latex2pdf/defontify.tex |
|
9 cat diagrams.list |