diff options
| -rw-r--r-- | source/tools/mudraw.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/tools/mudraw.c b/source/tools/mudraw.c index 6134b12d..16163b3e 100644 --- a/source/tools/mudraw.c +++ b/source/tools/mudraw.c @@ -1575,9 +1575,10 @@ int mudraw_main(int argc, char **argv) } else #endif - if (output_format == OUT_GPROOF) + if (output_format == OUT_GPROOF || output_format == OUT_SVG) { /* GPROOF files are saved direct. Do not open "output". */ + /* SVG files are always opened for each page. Do not open "output". */ } else if (output && (output[0] != '-' || output[1] != 0) && *output != 0) { |