summaryrefslogtreecommitdiff
path: root/dviware/dvisvgm/src/dvisvgm.cpp
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2024-01-12 03:01:12 +0000
committerNorbert Preining <norbert@preining.info>2024-01-12 03:01:12 +0000
commit1748d1e662c9618cc16f80d5e67669e9e9d6d4be (patch)
tree7d46019dbae3fa8e0345487ecf524cfc641f1b2a /dviware/dvisvgm/src/dvisvgm.cpp
parentb14090c9f3c7797e26fed9eb2b83ce144dcb16a3 (diff)
CTAN sync 202401120301
Diffstat (limited to 'dviware/dvisvgm/src/dvisvgm.cpp')
-rw-r--r--dviware/dvisvgm/src/dvisvgm.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/dviware/dvisvgm/src/dvisvgm.cpp b/dviware/dvisvgm/src/dvisvgm.cpp
index 5ba5998408..8815fb77b8 100644
--- a/dviware/dvisvgm/src/dvisvgm.cpp
+++ b/dviware/dvisvgm/src/dvisvgm.cpp
@@ -2,7 +2,7 @@
** dvisvgm.cpp **
** **
** This file is part of dvisvgm -- a fast DVI to SVG converter **
-** Copyright (C) 2005-2023 Martin Gieseking <martin.gieseking@uos.de> **
+** Copyright (C) 2005-2024 Martin Gieseking <martin.gieseking@uos.de> **
** **
** This program is free software; you can redistribute it and/or **
** modify it under the terms of the GNU General Public License as **
@@ -438,6 +438,7 @@ static void convert_file (size_t fnameIndex, const CommandLine &cmdline) {
? static_cast<ImageToSVG*>(new EPSToSVG(srcin.getFilePath(), out))
: static_cast<ImageToSVG*>(new PDFToSVG(srcin.getFilePath(), out)));
img2svg->setPageTransformation(get_transformation_string(cmdline));
+ img2svg->setUserMessage(cmdline.messageOpt.value());
img2svg->convert(cmdline.pageOpt.value(), &pageinfo);
timer_message(start_time, img2svg->isSinglePageFormat() ? nullptr : &pageinfo);
}
@@ -451,6 +452,7 @@ static void convert_file (size_t fnameIndex, const CommandLine &cmdline) {
dvi2svg.setProcessSpecials(ignore_specials, true);
dvi2svg.setPageTransformation(get_transformation_string(cmdline));
dvi2svg.setPageSize(cmdline.bboxOpt.value());
+ dvi2svg.setUserMessage(cmdline.messageOpt.value());
dvi2svg.convert(cmdline.pageOpt.value(), &pageinfo);
timer_message(start_time, &pageinfo);
}