1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
From: David Bremner <bremner@debian.org>
Date: Thu, 27 Dec 2018 08:53:13 +0900
Subject: [PATCH 3/3] Drop use of epstool
this might or might not make the figures have too much whitespace
margin.
---
Doc/make.pl | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/Doc/make.pl b/Doc/make.pl
index 2259f74..d1c9868 100644
--- a/Doc/make.pl
+++ b/Doc/make.pl
@@ -32,10 +32,10 @@ sub make_example {
print STDERR "latex example '$ex-tmp.tex':\n";
system("sed -e s/TEXFILE/$ex/ makeex-tmp.tex > $ex-tmp.tex") == 0 or die "$!";
system("latex $LATEX_OPTS $ex-tmp.tex") == 0 or die "$!";
- system("dvips -E $ex-tmp -o tmp.eps") == 0 or die "$!";
+ system("dvips -E $ex-tmp -o $ex.eps") == 0 or die "$!";
# fix up bounding box (originally this was not necessary; something was "improved")
- system("epstool --copy --bbox tmp.eps $ex.eps") == 0 or die "$!";
- unlink "tmp.eps";
+# system("epstool --copy --bbox tmp.eps $ex.eps") == 0 or die "$!";
+# unlink "tmp.eps";
local *F;
open(F, "> $ex.txt") or die "$!";
print F "Image $ex omitted in text version of this document.";
|
