diff options
Diffstat (limited to 'Build/source/utils/asymptote/doc/genustwomissing.asy')
-rw-r--r-- | Build/source/utils/asymptote/doc/genustwomissing.asy | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/doc/genustwomissing.asy b/Build/source/utils/asymptote/doc/genustwomissing.asy new file mode 100644 index 00000000000..73d356deb77 --- /dev/null +++ b/Build/source/utils/asymptote/doc/genustwomissing.asy @@ -0,0 +1,12 @@ +// This file generates a dummy genustwo.pdf file if the rasterized +// image in genustwo.asy failed to render. +file fin = input("genustwo.pdf", check=false); +if (error(fin)) { + defaultpen(fontsize(20bp)); + label("Rasterized image failed to render."); + shipout(prefix="genustwo"); +} else { + label("Rasterized image rendered successfully. Please ignore this message."); +} +close(fin); + |