diff options
| author | Ben Hutchings <ben@decadent.org.uk> | 2017-01-31 00:18:44 +0000 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-02-06 09:03:50 -0700 |
| commit | 04b709117271d9f2f09cfeca09c34f63863beafe (patch) | |
| tree | d84f6481a0d9d26746f4d0b40e2e35a21bfb47aa /Documentation/media | |
| parent | 85bd9020d86bf51f9c300225d0c4d7d1b5aa9e48 (diff) | |
doc-rst: Delete output of failed dot-SVG conversion
As we use redirection to create the SVG file, even a failed conversion
will create the file and 'make' will consider it up-to-date if the
build is retried. We should delete it in case of failure.
Fixes: ec868e4ee2bc ("docs-rst: media: build SVG from graphviz files")
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/media')
| -rw-r--r-- | Documentation/media/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/media/Makefile b/Documentation/media/Makefile index 32663602ff25..730d73db7c7a 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,$<,$@) |