projects
/
gnulib.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c3f50f5
)
update from texinfo
author
Karl Berry
<karl@freefriends.org>
Sun, 16 Aug 2009 16:20:30 +0000
(09:20 -0700)
committer
Karl Berry
<karl@freefriends.org>
Sun, 16 Aug 2009 16:20:30 +0000
(09:20 -0700)
build-aux/texinfo.tex
patch
|
blob
|
history
diff --git
a/build-aux/texinfo.tex
b/build-aux/texinfo.tex
index
3b44d40
..
9140826
100644
(file)
--- a/
build-aux/texinfo.tex
+++ b/
build-aux/texinfo.tex
@@
-3,7
+3,7
@@
% Load plain if necessary, i.e., if running under initex.
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
%
% Load plain if necessary, i.e., if running under initex.
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
%
-\def\texinfoversion{2009-0
7-25
.15}
+\def\texinfoversion{2009-0
8-14
.15}
%
% Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
% 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
%
% Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
% 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@
-1332,13
+1332,16
@@
output) for that.)}
\ifpdf
%
\ifpdf
%
- % Color manipulation macros based on pdfcolor.tex.
- \def\cmykDarkRed{0.28 1 1 0.35}
- \def\cmykBlack{0 0 0 1}
+ % Color manipulation macros based on pdfcolor.tex,
+ % except using rgb instead of cmyk; the latter is said to render as a
+ % very dark gray on-screen and a very dark halftone in print, instead
+ % of actual black.
+ \def\rgbDarkRed{0.50 0.09 0.12}
+ \def\rgbBlack{0 0 0}
%
% k sets the color for filling (usual text, etc.);
% K sets the color for stroking (thin rules, e.g., normal _'s).
%
% k sets the color for filling (usual text, etc.);
% K sets the color for stroking (thin rules, e.g., normal _'s).
- \def\pdfsetcolor#1{\pdfliteral{#1
k #1 K
}}
+ \def\pdfsetcolor#1{\pdfliteral{#1
rg #1 RG
}}
%
% Set color, and create a mark which defines \thiscolor accordingly,
% so that \makeheadline knows which color to restore.
%
% Set color, and create a mark which defines \thiscolor accordingly,
% so that \makeheadline knows which color to restore.
@@
-1348,7
+1351,7
@@
output) for that.)}
\pdfsetcolor{#1}%
}
%
\pdfsetcolor{#1}%
}
%
- \def\maincolor{\
cmyk
Black}
+ \def\maincolor{\
rgb
Black}
\pdfsetcolor{\maincolor}
\edef\thiscolor{\maincolor}
\def\lastcolordefs{}
\pdfsetcolor{\maincolor}
\edef\thiscolor{\maincolor}
\def\lastcolordefs{}
@@
-1443,8
+1446,8
@@
output) for that.)}
%
% by default, use a color that is dark enough to print on paper as
% nearly black, but still distinguishable for online viewing.
%
% by default, use a color that is dark enough to print on paper as
% nearly black, but still distinguishable for online viewing.
- \def\urlcolor{\
cmyk
DarkRed}
- \def\linkcolor{\
cmyk
DarkRed}
+ \def\urlcolor{\
rgb
DarkRed}
+ \def\linkcolor{\
rgb
DarkRed}
\def\endlink{\setcolor{\maincolor}\pdfendlink}
%
% Adding outlines to PDF; macros for calculating structure of outlines
\def\endlink{\setcolor{\maincolor}\pdfendlink}
%
% Adding outlines to PDF; macros for calculating structure of outlines