[#5] Slightly adjusted *-wide.dia PNG output size
parent
412f8ad769
commit
4d50a40577
|
@ -41,7 +41,7 @@ $(path_doc_output):
|
|||
# doc images
|
||||
$(path_doc)/img/%.png: $(path_doc)/img/%.dia
|
||||
echo "$<" | grep -q 'wide' \
|
||||
&& dia -e $@ -s x300 $< \
|
||||
&& dia -e $@ -s x250 $< \
|
||||
|| dia -e $@ -s 300x $<
|
||||
|
||||
# doc pdf
|
||||
|
|
Loading…
Reference in New Issue