diff options
Diffstat (limited to 'manual/APPNOTE_011_Design_Investigation')
-rw-r--r-- | manual/APPNOTE_011_Design_Investigation/make.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/APPNOTE_011_Design_Investigation/make.sh b/manual/APPNOTE_011_Design_Investigation/make.sh index fa3ca70eb..3845dac6b 100644 --- a/manual/APPNOTE_011_Design_Investigation/make.sh +++ b/manual/APPNOTE_011_Design_Investigation/make.sh @@ -18,6 +18,6 @@ if false; then sed -i '/^label=/ d;' *.dot fi for dot_file in *.dot; do - pdf_file=${dot_file#.dot}.pdf - dot -Tpdf -o example_00.pdf example_00.dot + pdf_file=${dot_file%.dot}.pdf + dot -Tpdf -o $pdf_file $dot_file done |