diff options
Diffstat (limited to 'graphics/asymptote/base/plain_shipout.asy')
-rw-r--r-- | graphics/asymptote/base/plain_shipout.asy | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/graphics/asymptote/base/plain_shipout.asy b/graphics/asymptote/base/plain_shipout.asy index 4562205966..e062a77546 100644 --- a/graphics/asymptote/base/plain_shipout.asy +++ b/graphics/asymptote/base/plain_shipout.asy @@ -86,6 +86,12 @@ void shipout(string prefix=defaultfilename, frame f, } } + if(outformat(format) == "html") { + warning("htmltosvg", + "html output requested for 2D picture; generating svg image instead..."); + format="svg"; + } + if(settings.xasy || (!implicitshipout && prefix == defaultfilename)) { if(prefix == defaultfilename) { currentpicture.clear(); |