diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
| commit | 4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0 (patch) | |
| tree | 0be03f643d4362b54b2ff132522f170bc2ed2be6 /manual/APPNOTE_011_Design_Investigation | |
| parent | fb186e6299f9e26f0011c9623f10adcf8eadb304 (diff) | |
Improved "make manual" and "make clean"
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 fa3ca70e..3845dac6 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 |