summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pltotf.ch
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-08-10 07:06:27 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-08-10 07:06:27 +0000
commitc5119472ba27c5bf95762ad7343e1c9fa2c5aad9 (patch)
treeca7dbe21cc745d89922914ffaca1dacf06c2c572 /Build/source/texk/web2c/pltotf.ch
parent41f2e232330a6bbd56dbd0f3f5a7fd2217d54edf (diff)
PLtoTF etc: Send all messages to stderr (including reals) -- reported by Norbert
git-svn-id: svn://tug.org/texlive/trunk@38091 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pltotf.ch')
-rw-r--r--Build/source/texk/web2c/pltotf.ch1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pltotf.ch b/Build/source/texk/web2c/pltotf.ch
index a7b6b8f32c6..7668fad9034 100644
--- a/Build/source/texk/web2c/pltotf.ch
+++ b/Build/source/texk/web2c/pltotf.ch
@@ -32,6 +32,7 @@
@y
@d print(#)==write(stderr,#)
@d print_ln(#)==write_ln(stderr,#)
+@d print_real(#)==fprint_real(stderr,#)
@z
@x [still 2] No banner unless verbose.