diff --git a/Documentation/media/Makefile b/Documentation/media/Makefile index 32663602ff257f57e73f7ec41bcbc65e287223df..730d73db7c7a4a8c0f13480efcbe0f011071f2b0 100644 --- a/Documentation/media/Makefile +++ b/Documentation/media/Makefile @@ -36,7 +36,7 @@ quiet_cmd_genpdf = GENPDF $2 cmd_genpdf = convert $2 $3 quiet_cmd_gendot = DOT $2 - cmd_gendot = dot -Tsvg $2 > $3 + cmd_gendot = dot -Tsvg $2 > $3 || { rm -f $3; exit 1; } %.pdf: %.svg @$(call cmd,genpdf,$<,$@)