diff options
Diffstat (limited to 'Build/source/texk/dvisvgm')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 | 14 | ||||
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp | 2 |
2 files changed, 15 insertions, 1 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 b/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 new file mode 100644 index 00000000000..5ead356b8ee --- /dev/null +++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 @@ -0,0 +1,14 @@ + Required for 'g++-4.7 -std=c++11' as needed to build XeTeX. + +diff -ur dvisvgm-1.0.12.orig/src/DVIToSVG.cpp dvisvgm-1.0.12/src/DVIToSVG.cpp +--- dvisvgm-1.0.12.orig/src/DVIToSVG.cpp 2012-09-20 15:49:10.000000000 +0200 ++++ dvisvgm-1.0.12/src/DVIToSVG.cpp 2012-11-14 11:39:03.000000000 +0100 +@@ -185,7 +185,7 @@ + Message::mstream().indent(0); + Message::mstream(false, Message::MC_PAGE_NUMBER) << "processing page " << n << " [" << c[0] << ']'; + Message::mstream().indent(1); +- _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm "VERSION_STR" ")); ++ _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm " VERSION_STR " ")); + _svg.appendToDoc(new XMLCommentNode(" " + datetime() + " ")); + } + } diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp b/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp index b56a3ed2152..5dab59f184b 100644 --- a/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp +++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp @@ -185,7 +185,7 @@ void DVIToSVG::beginPage (unsigned n, Int32 *c) { Message::mstream().indent(0); Message::mstream(false, Message::MC_PAGE_NUMBER) << "processing page " << n << " [" << c[0] << ']'; Message::mstream().indent(1); - _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm "VERSION_STR" ")); + _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm " VERSION_STR " ")); _svg.appendToDoc(new XMLCommentNode(" " + datetime() + " ")); } } |