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