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: Stuart Prescott <stuart@debian.org>
Date: Wed, 19 Feb 2020 13:41:50 +1100
Subject: Add DVI special for headers
Add explicit handling of new DVI specials that load header files so that
warnings are not emitted when they are generated by texlive >= 2019.20200218.
Closes: #951365
---
src/epsMaker/dvi_interpreter.c | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/epsMaker/dvi_interpreter.c b/src/epsMaker/dvi_interpreter.c
index 53309a8..55e9438 100644
--- a/src/epsMaker/dvi_interpreter.c
+++ b/src/epsMaker/dvi_interpreter.c
@@ -643,6 +643,11 @@ int dviSpecialImplement(pplerr_context *ec, dviInterpreterState *interp)
{
if ((err=dviSpecialColourCommand(ec, interp, interp->spString+6))!=0) return err;
}
+ // Test for a header string
+ else if (strncmp(interp->spString, "header=", 7) == 0)
+ {
+ if (DEBUG) { sprintf(ec->tempErrStr, "DVI: dvi special to load header ignored"); ppl_log(ec, NULL); }
+ }
else
{
// Unhandled special command (e.g. includegraphics)
|
