1278
% PDF uses PostScript string constants for the names of xref targets,
1279
% for display in the outlines, and in other places. Thus, we have to
1280
% double any backslashes. Otherwise, a name like "\node" will be
1281
% interpreted as a newline (\n), followed by o, d, e. Not good.
1282
% http://www.ntg.nl/pipermail/ntg-pdftex/2004-July/000654.html
1283
% (and related messages, the final outcome is that it is up to the TeX
1284
% user to double the backslashes and otherwise make the string valid, so
1285
% that's what we do).
1287
% double active backslashes.
1289
{\catcode`\@=0 \catcode`\\=\active
1290
@gdef@activebackslashdouble{%
1292
@let\=@doublebackslash}
1295
% To handle parens, we must adopt a different approach, since parens are
1296
% not active characters. hyperref.dtx (which has the same problem as
1297
% us) handles it with this amazing macro to replace tokens, with minor
1298
% changes for Texinfo. It is included here under the GPL by permission
1299
% from the author, Heiko Oberdiek.
1301
% #1 is the tokens to replace.
1302
% #2 is the replacement.
1303
% #3 is the control sequence with the string.
1305
\def\HyPsdSubst#1#2#3{%
1306
\def\HyPsdReplace##1#1##2\END{%
1312
\HyPsdReplace##2\END
1316
\xdef#3{\expandafter\HyPsdReplace#3#1\END}%
1318
\long\def\HyReturnAfterFi#1\fi{\fi#1}
1320
% #1 is a control sequence in which to do the replacements.
1321
\def\backslashparens#1{%
1322
\xdef#1{#1}% redefine it as its expansion; the definition is simply
1323
% \lastnode when called from \setref -> \pdfmkdest.
1324
\HyPsdSubst{(}{\realbackslash(}{#1}%
1325
\HyPsdSubst{)}{\realbackslash)}{#1}%
1328
\newhelp\nopdfimagehelp{Texinfo supports .png, .jpg, .jpeg, and .pdf images
1329
with PDF output, and none of those formats could be found. (.eps cannot
1330
be supported due to the design of the PDF format; use regular TeX (DVI
1182
\pdfcatalog{/PageMode /UseOutlines}%
1335
% Color manipulation macros based on pdfcolor.tex,
1336
% except using rgb instead of cmyk; the latter is said to render as a
1337
% very dark gray on-screen and a very dark halftone in print, instead
1339
\def\rgbDarkRed{0.50 0.09 0.12}
1340
\def\rgbBlack{0 0 0}
1342
% k sets the color for filling (usual text, etc.);
1343
% K sets the color for stroking (thin rules, e.g., normal _'s).
1344
\def\pdfsetcolor#1{\pdfliteral{#1 rg #1 RG}}
1346
% Set color, and create a mark which defines \thiscolor accordingly,
1347
% so that \makeheadline knows which color to restore.
1349
\xdef\lastcolordefs{\gdef\noexpand\thiscolor{#1}}%
1354
\def\maincolor{\rgbBlack}
1355
\pdfsetcolor{\maincolor}
1356
\edef\thiscolor{\maincolor}
1357
\def\lastcolordefs{}
1361
\line{\pdfsetcolor{\maincolor}\the\footline}%
1369
% Extract \thiscolor definition from the marks.
1371
% Typeset the headline with \maincolor, then restore the color.
1372
\pdfsetcolor{\maincolor}\the\headline\pdfsetcolor{\thiscolor}%
1380
\pdfcatalog{/PageMode /UseOutlines}
1382
% #1 is image name, #2 width (might be empty/whitespace), #3 height (ditto).
1183
1383
\def\dopdfimage#1#2#3{%
1184
\def\imagewidth{#2}%
1185
\def\imageheight{#3}%
1186
% without \immediate, pdftex seg faults when the same image is
1384
\def\imagewidth{#2}\setbox0 = \hbox{\ignorespaces #2}%
1385
\def\imageheight{#3}\setbox2 = \hbox{\ignorespaces #3}%
1387
% pdftex (and the PDF format) support .png, .jpg, .pdf (among
1388
% others). Let's try in that order.
1389
\let\pdfimgext=\empty
1391
\openin 1 #1.png \ifeof 1
1392
\openin 1 #1.jpg \ifeof 1
1393
\openin 1 #1.jpeg \ifeof 1
1394
\openin 1 #1.JPG \ifeof 1
1395
\openin 1 #1.pdf \ifeof 1
1396
\openin 1 #1.PDF \ifeof 1
1397
\errhelp = \nopdfimagehelp
1398
\errmessage{Could not find image file #1 for pdf}%
1399
\else \gdef\pdfimgext{PDF}%
1401
\else \gdef\pdfimgext{pdf}%
1403
\else \gdef\pdfimgext{JPG}%
1405
\else \gdef\pdfimgext{jpeg}%
1407
\else \gdef\pdfimgext{jpg}%
1409
\else \gdef\pdfimgext{png}%
1414
% without \immediate, ancient pdftex seg faults when the same image is
1187
1415
% included twice. (Version 3.14159-pre-1.0-unofficial-20010704.)
1188
1416
\ifnum\pdftexversion < 14
1189
1417
\immediate\pdfimage
1191
1419
\immediate\pdfximage
1193
\ifx\empty\imagewidth\else width \imagewidth \fi
1194
\ifx\empty\imageheight\else height \imageheight \fi
1421
\ifdim \wd0 >0pt width \imagewidth \fi
1422
\ifdim \wd2 >0pt height \imageheight \fi
1195
1423
\ifnum\pdftexversion<13
1200
1428
\ifnum\pdftexversion < 14 \else
1201
1429
\pdfrefximage \pdflastximage
1203
1432
\def\pdfmkdest#1{{%
1204
% We have to set dummies so commands such as @code in a section title
1207
\normalturnoffactive
1208
\pdfdest name{#1} xyz%
1433
% We have to set dummies so commands such as @code, and characters
1434
% such as \, aren't expanded when present in a section title.
1437
\activebackslashdouble
1438
\makevalueexpandable
1439
\def\pdfdestname{#1}%
1440
\backslashparens\pdfdestname
1441
\safewhatsit{\pdfdest name{\pdfdestname} xyz}%
1444
% used to mark target names; must be expandable.
1210
1445
\def\pdfmkpgn#1{#1}
1211
\let\linkcolor = \Blue % was Cyan, but that seems light?
1212
\def\endlink{\Black\pdfendlink}
1447
% by default, use a color that is dark enough to print on paper as
1448
% nearly black, but still distinguishable for online viewing.
1449
\def\urlcolor{\rgbDarkRed}
1450
\def\linkcolor{\rgbDarkRed}
1451
\def\endlink{\setcolor{\maincolor}\pdfendlink}
1213
1453
% Adding outlines to PDF; macros for calculating structure of outlines
1214
1454
% come from Petr Olsak
1215
1455
\def\expnumber#1{\expandafter\ifx\csname#1\endcsname\relax 0%
1468
1982
\def\scshape{csc}
1469
1983
\def\scbshape{csc}
1985
% Definitions for a main text size of 11pt. This is the default in
1988
\def\definetextfontsizexi{%
1471
1989
% Text fonts (11.2pt, magstep1).
1472
1990
\def\textnominalsize{11pt}
1473
1991
\edef\mainmagstep{\magstephalf}
1474
\setfont\textrm\rmshape{10}{\mainmagstep}
1475
\setfont\texttt\ttshape{10}{\mainmagstep}
1476
\setfont\textbf\bfshape{10}{\mainmagstep}
1477
\setfont\textit\itshape{10}{\mainmagstep}
1478
\setfont\textsl\slshape{10}{\mainmagstep}
1479
\setfont\textsf\sfshape{10}{\mainmagstep}
1480
\setfont\textsc\scshape{10}{\mainmagstep}
1481
\setfont\textttsl\ttslshape{10}{\mainmagstep}
1992
\setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
1993
\setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
1994
\setfont\textbf\bfshape{10}{\mainmagstep}{OT1}
1995
\setfont\textit\itshape{10}{\mainmagstep}{OT1IT}
1996
\setfont\textsl\slshape{10}{\mainmagstep}{OT1}
1997
\setfont\textsf\sfshape{10}{\mainmagstep}{OT1}
1998
\setfont\textsc\scshape{10}{\mainmagstep}{OT1}
1999
\setfont\textttsl\ttslshape{10}{\mainmagstep}{OT1TT}
1482
2000
\font\texti=cmmi10 scaled \mainmagstep
1483
2001
\font\textsy=cmsy10 scaled \mainmagstep
2002
\def\textecsize{1095}
1485
2004
% A few fonts for @defun names and args.
1486
\setfont\defbf\bfshape{10}{\magstep1}
1487
\setfont\deftt\ttshape{10}{\magstep1}
1488
\setfont\defttsl\ttslshape{10}{\magstep1}
2005
\setfont\defbf\bfshape{10}{\magstep1}{OT1}
2006
\setfont\deftt\ttshape{10}{\magstep1}{OT1TT}
2007
\setfont\defttsl\ttslshape{10}{\magstep1}{OT1TT}
1489
2008
\def\df{\let\tentt=\deftt \let\tenbf = \defbf \let\tenttsl=\defttsl \bf}
1491
2010
% Fonts for indices, footnotes, small examples (9pt).
1492
2011
\def\smallnominalsize{9pt}
1493
\setfont\smallrm\rmshape{9}{1000}
1494
\setfont\smalltt\ttshape{9}{1000}
1495
\setfont\smallbf\bfshape{10}{900}
1496
\setfont\smallit\itshape{9}{1000}
1497
\setfont\smallsl\slshape{9}{1000}
1498
\setfont\smallsf\sfshape{9}{1000}
1499
\setfont\smallsc\scshape{10}{900}
1500
\setfont\smallttsl\ttslshape{10}{900}
2012
\setfont\smallrm\rmshape{9}{1000}{OT1}
2013
\setfont\smalltt\ttshape{9}{1000}{OT1TT}
2014
\setfont\smallbf\bfshape{10}{900}{OT1}
2015
\setfont\smallit\itshape{9}{1000}{OT1IT}
2016
\setfont\smallsl\slshape{9}{1000}{OT1}
2017
\setfont\smallsf\sfshape{9}{1000}{OT1}
2018
\setfont\smallsc\scshape{10}{900}{OT1}
2019
\setfont\smallttsl\ttslshape{10}{900}{OT1TT}
1501
2020
\font\smalli=cmmi9
1502
2021
\font\smallsy=cmsy9
2022
\def\smallecsize{0900}
1504
2024
% Fonts for small examples (8pt).
1505
2025
\def\smallernominalsize{8pt}
1506
\setfont\smallerrm\rmshape{8}{1000}
1507
\setfont\smallertt\ttshape{8}{1000}
1508
\setfont\smallerbf\bfshape{10}{800}
1509
\setfont\smallerit\itshape{8}{1000}
1510
\setfont\smallersl\slshape{8}{1000}
1511
\setfont\smallersf\sfshape{8}{1000}
1512
\setfont\smallersc\scshape{10}{800}
1513
\setfont\smallerttsl\ttslshape{10}{800}
2026
\setfont\smallerrm\rmshape{8}{1000}{OT1}
2027
\setfont\smallertt\ttshape{8}{1000}{OT1TT}
2028
\setfont\smallerbf\bfshape{10}{800}{OT1}
2029
\setfont\smallerit\itshape{8}{1000}{OT1IT}
2030
\setfont\smallersl\slshape{8}{1000}{OT1}
2031
\setfont\smallersf\sfshape{8}{1000}{OT1}
2032
\setfont\smallersc\scshape{10}{800}{OT1}
2033
\setfont\smallerttsl\ttslshape{10}{800}{OT1TT}
1514
2034
\font\smalleri=cmmi8
1515
2035
\font\smallersy=cmsy8
2036
\def\smallerecsize{0800}
1517
2038
% Fonts for title page (20.4pt):
1518
2039
\def\titlenominalsize{20pt}
1519
\setfont\titlerm\rmbshape{12}{\magstep3}
1520
\setfont\titleit\itbshape{10}{\magstep4}
1521
\setfont\titlesl\slbshape{10}{\magstep4}
1522
\setfont\titlett\ttbshape{12}{\magstep3}
1523
\setfont\titlettsl\ttslshape{10}{\magstep4}
1524
\setfont\titlesf\sfbshape{17}{\magstep1}
2040
\setfont\titlerm\rmbshape{12}{\magstep3}{OT1}
2041
\setfont\titleit\itbshape{10}{\magstep4}{OT1IT}
2042
\setfont\titlesl\slbshape{10}{\magstep4}{OT1}
2043
\setfont\titlett\ttbshape{12}{\magstep3}{OT1TT}
2044
\setfont\titlettsl\ttslshape{10}{\magstep4}{OT1TT}
2045
\setfont\titlesf\sfbshape{17}{\magstep1}{OT1}
1525
2046
\let\titlebf=\titlerm
1526
\setfont\titlesc\scbshape{10}{\magstep4}
2047
\setfont\titlesc\scbshape{10}{\magstep4}{OT1}
1527
2048
\font\titlei=cmmi12 scaled \magstep3
1528
2049
\font\titlesy=cmsy10 scaled \magstep4
1529
\def\authorrm{\secrm}
1530
\def\authortt{\sectt}
2050
\def\titleecsize{2074}
1532
2052
% Chapter (and unnumbered) fonts (17.28pt).
1533
2053
\def\chapnominalsize{17pt}
1534
\setfont\chaprm\rmbshape{12}{\magstep2}
1535
\setfont\chapit\itbshape{10}{\magstep3}
1536
\setfont\chapsl\slbshape{10}{\magstep3}
1537
\setfont\chaptt\ttbshape{12}{\magstep2}
1538
\setfont\chapttsl\ttslshape{10}{\magstep3}
1539
\setfont\chapsf\sfbshape{17}{1000}
2054
\setfont\chaprm\rmbshape{12}{\magstep2}{OT1}
2055
\setfont\chapit\itbshape{10}{\magstep3}{OT1IT}
2056
\setfont\chapsl\slbshape{10}{\magstep3}{OT1}
2057
\setfont\chaptt\ttbshape{12}{\magstep2}{OT1TT}
2058
\setfont\chapttsl\ttslshape{10}{\magstep3}{OT1TT}
2059
\setfont\chapsf\sfbshape{17}{1000}{OT1}
1540
2060
\let\chapbf=\chaprm
1541
\setfont\chapsc\scbshape{10}{\magstep3}
2061
\setfont\chapsc\scbshape{10}{\magstep3}{OT1}
1542
2062
\font\chapi=cmmi12 scaled \magstep2
1543
2063
\font\chapsy=cmsy10 scaled \magstep3
2064
\def\chapecsize{1728}
1545
2066
% Section fonts (14.4pt).
1546
2067
\def\secnominalsize{14pt}
1547
\setfont\secrm\rmbshape{12}{\magstep1}
1548
\setfont\secit\itbshape{10}{\magstep2}
1549
\setfont\secsl\slbshape{10}{\magstep2}
1550
\setfont\sectt\ttbshape{12}{\magstep1}
1551
\setfont\secttsl\ttslshape{10}{\magstep2}
1552
\setfont\secsf\sfbshape{12}{\magstep1}
2068
\setfont\secrm\rmbshape{12}{\magstep1}{OT1}
2069
\setfont\secit\itbshape{10}{\magstep2}{OT1IT}
2070
\setfont\secsl\slbshape{10}{\magstep2}{OT1}
2071
\setfont\sectt\ttbshape{12}{\magstep1}{OT1TT}
2072
\setfont\secttsl\ttslshape{10}{\magstep2}{OT1TT}
2073
\setfont\secsf\sfbshape{12}{\magstep1}{OT1}
1553
2074
\let\secbf\secrm
1554
\setfont\secsc\scbshape{10}{\magstep2}
2075
\setfont\secsc\scbshape{10}{\magstep2}{OT1}
1555
2076
\font\seci=cmmi12 scaled \magstep1
1556
2077
\font\secsy=cmsy10 scaled \magstep2
2078
\def\sececsize{1440}
1558
2080
% Subsection fonts (13.15pt).
1559
2081
\def\ssecnominalsize{13pt}
1560
\setfont\ssecrm\rmbshape{12}{\magstephalf}
1561
\setfont\ssecit\itbshape{10}{1315}
1562
\setfont\ssecsl\slbshape{10}{1315}
1563
\setfont\ssectt\ttbshape{12}{\magstephalf}
1564
\setfont\ssecttsl\ttslshape{10}{1315}
1565
\setfont\ssecsf\sfbshape{12}{\magstephalf}
2082
\setfont\ssecrm\rmbshape{12}{\magstephalf}{OT1}
2083
\setfont\ssecit\itbshape{10}{1315}{OT1IT}
2084
\setfont\ssecsl\slbshape{10}{1315}{OT1}
2085
\setfont\ssectt\ttbshape{12}{\magstephalf}{OT1TT}
2086
\setfont\ssecttsl\ttslshape{10}{1315}{OT1TT}
2087
\setfont\ssecsf\sfbshape{12}{\magstephalf}{OT1}
1566
2088
\let\ssecbf\ssecrm
1567
\setfont\ssecsc\scbshape{10}{1315}
2089
\setfont\ssecsc\scbshape{10}{1315}{OT1}
1568
2090
\font\sseci=cmmi12 scaled \magstephalf
1569
2091
\font\ssecsy=cmsy10 scaled 1315
2092
\def\ssececsize{1200}
1571
2094
% Reduced fonts for @acro in text (10pt).
1572
2095
\def\reducednominalsize{10pt}
1573
\setfont\reducedrm\rmshape{10}{1000}
1574
\setfont\reducedtt\ttshape{10}{1000}
1575
\setfont\reducedbf\bfshape{10}{1000}
1576
\setfont\reducedit\itshape{10}{1000}
1577
\setfont\reducedsl\slshape{10}{1000}
1578
\setfont\reducedsf\sfshape{10}{1000}
1579
\setfont\reducedsc\scshape{10}{1000}
1580
\setfont\reducedttsl\ttslshape{10}{1000}
2096
\setfont\reducedrm\rmshape{10}{1000}{OT1}
2097
\setfont\reducedtt\ttshape{10}{1000}{OT1TT}
2098
\setfont\reducedbf\bfshape{10}{1000}{OT1}
2099
\setfont\reducedit\itshape{10}{1000}{OT1IT}
2100
\setfont\reducedsl\slshape{10}{1000}{OT1}
2101
\setfont\reducedsf\sfshape{10}{1000}{OT1}
2102
\setfont\reducedsc\scshape{10}{1000}{OT1}
2103
\setfont\reducedttsl\ttslshape{10}{1000}{OT1TT}
1581
2104
\font\reducedi=cmmi10
1582
2105
\font\reducedsy=cmsy10
2106
\def\reducedecsize{1000}
2108
% reset the current fonts
2111
} % end of 11pt text font size definitions
2114
% Definitions to make the main text be 10pt Computer Modern, with
2115
% section, chapter, etc., sizes following suit. This is for the GNU
2116
% Press printing of the Emacs 22 manual. Maybe other manuals in the
2117
% future. Used with @smallbook, which sets the leading to 12pt.
2119
\def\definetextfontsizex{%
2120
% Text fonts (10pt).
2121
\def\textnominalsize{10pt}
2122
\edef\mainmagstep{1000}
2123
\setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
2124
\setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
2125
\setfont\textbf\bfshape{10}{\mainmagstep}{OT1}
2126
\setfont\textit\itshape{10}{\mainmagstep}{OT1IT}
2127
\setfont\textsl\slshape{10}{\mainmagstep}{OT1}
2128
\setfont\textsf\sfshape{10}{\mainmagstep}{OT1}
2129
\setfont\textsc\scshape{10}{\mainmagstep}{OT1}
2130
\setfont\textttsl\ttslshape{10}{\mainmagstep}{OT1TT}
2131
\font\texti=cmmi10 scaled \mainmagstep
2132
\font\textsy=cmsy10 scaled \mainmagstep
2133
\def\textecsize{1000}
2135
% A few fonts for @defun names and args.
2136
\setfont\defbf\bfshape{10}{\magstephalf}{OT1}
2137
\setfont\deftt\ttshape{10}{\magstephalf}{OT1TT}
2138
\setfont\defttsl\ttslshape{10}{\magstephalf}{OT1TT}
2139
\def\df{\let\tentt=\deftt \let\tenbf = \defbf \let\tenttsl=\defttsl \bf}
2141
% Fonts for indices, footnotes, small examples (9pt).
2142
\def\smallnominalsize{9pt}
2143
\setfont\smallrm\rmshape{9}{1000}{OT1}
2144
\setfont\smalltt\ttshape{9}{1000}{OT1TT}
2145
\setfont\smallbf\bfshape{10}{900}{OT1}
2146
\setfont\smallit\itshape{9}{1000}{OT1IT}
2147
\setfont\smallsl\slshape{9}{1000}{OT1}
2148
\setfont\smallsf\sfshape{9}{1000}{OT1}
2149
\setfont\smallsc\scshape{10}{900}{OT1}
2150
\setfont\smallttsl\ttslshape{10}{900}{OT1TT}
2153
\def\smallecsize{0900}
2155
% Fonts for small examples (8pt).
2156
\def\smallernominalsize{8pt}
2157
\setfont\smallerrm\rmshape{8}{1000}{OT1}
2158
\setfont\smallertt\ttshape{8}{1000}{OT1TT}
2159
\setfont\smallerbf\bfshape{10}{800}{OT1}
2160
\setfont\smallerit\itshape{8}{1000}{OT1IT}
2161
\setfont\smallersl\slshape{8}{1000}{OT1}
2162
\setfont\smallersf\sfshape{8}{1000}{OT1}
2163
\setfont\smallersc\scshape{10}{800}{OT1}
2164
\setfont\smallerttsl\ttslshape{10}{800}{OT1TT}
2165
\font\smalleri=cmmi8
2166
\font\smallersy=cmsy8
2167
\def\smallerecsize{0800}
2169
% Fonts for title page (20.4pt):
2170
\def\titlenominalsize{20pt}
2171
\setfont\titlerm\rmbshape{12}{\magstep3}{OT1}
2172
\setfont\titleit\itbshape{10}{\magstep4}{OT1IT}
2173
\setfont\titlesl\slbshape{10}{\magstep4}{OT1}
2174
\setfont\titlett\ttbshape{12}{\magstep3}{OT1TT}
2175
\setfont\titlettsl\ttslshape{10}{\magstep4}{OT1TT}
2176
\setfont\titlesf\sfbshape{17}{\magstep1}{OT1}
2177
\let\titlebf=\titlerm
2178
\setfont\titlesc\scbshape{10}{\magstep4}{OT1}
2179
\font\titlei=cmmi12 scaled \magstep3
2180
\font\titlesy=cmsy10 scaled \magstep4
2181
\def\titleecsize{2074}
2183
% Chapter fonts (14.4pt).
2184
\def\chapnominalsize{14pt}
2185
\setfont\chaprm\rmbshape{12}{\magstep1}{OT1}
2186
\setfont\chapit\itbshape{10}{\magstep2}{OT1IT}
2187
\setfont\chapsl\slbshape{10}{\magstep2}{OT1}
2188
\setfont\chaptt\ttbshape{12}{\magstep1}{OT1TT}
2189
\setfont\chapttsl\ttslshape{10}{\magstep2}{OT1TT}
2190
\setfont\chapsf\sfbshape{12}{\magstep1}{OT1}
2192
\setfont\chapsc\scbshape{10}{\magstep2}{OT1}
2193
\font\chapi=cmmi12 scaled \magstep1
2194
\font\chapsy=cmsy10 scaled \magstep2
2195
\def\chapecsize{1440}
2197
% Section fonts (12pt).
2198
\def\secnominalsize{12pt}
2199
\setfont\secrm\rmbshape{12}{1000}{OT1}
2200
\setfont\secit\itbshape{10}{\magstep1}{OT1IT}
2201
\setfont\secsl\slbshape{10}{\magstep1}{OT1}
2202
\setfont\sectt\ttbshape{12}{1000}{OT1TT}
2203
\setfont\secttsl\ttslshape{10}{\magstep1}{OT1TT}
2204
\setfont\secsf\sfbshape{12}{1000}{OT1}
2206
\setfont\secsc\scbshape{10}{\magstep1}{OT1}
2208
\font\secsy=cmsy10 scaled \magstep1
2209
\def\sececsize{1200}
2211
% Subsection fonts (10pt).
2212
\def\ssecnominalsize{10pt}
2213
\setfont\ssecrm\rmbshape{10}{1000}{OT1}
2214
\setfont\ssecit\itbshape{10}{1000}{OT1IT}
2215
\setfont\ssecsl\slbshape{10}{1000}{OT1}
2216
\setfont\ssectt\ttbshape{10}{1000}{OT1TT}
2217
\setfont\ssecttsl\ttslshape{10}{1000}{OT1TT}
2218
\setfont\ssecsf\sfbshape{10}{1000}{OT1}
2220
\setfont\ssecsc\scbshape{10}{1000}{OT1}
2223
\def\ssececsize{1000}
2225
% Reduced fonts for @acro in text (9pt).
2226
\def\reducednominalsize{9pt}
2227
\setfont\reducedrm\rmshape{9}{1000}{OT1}
2228
\setfont\reducedtt\ttshape{9}{1000}{OT1TT}
2229
\setfont\reducedbf\bfshape{10}{900}{OT1}
2230
\setfont\reducedit\itshape{9}{1000}{OT1IT}
2231
\setfont\reducedsl\slshape{9}{1000}{OT1}
2232
\setfont\reducedsf\sfshape{9}{1000}{OT1}
2233
\setfont\reducedsc\scshape{10}{900}{OT1}
2234
\setfont\reducedttsl\ttslshape{10}{900}{OT1TT}
2235
\font\reducedi=cmmi9
2236
\font\reducedsy=cmsy9
2237
\def\reducedecsize{0900}
2239
% reduce space between paragraphs
2240
\divide\parskip by 2
2242
% reset the current fonts
2245
} % end of 10pt text font size definitions
2248
% We provide the user-level command
2250
% (or 11) to redefine the text font size. pt is assumed.
2255
\parseargdef\fonttextsize{%
2256
\def\textsizearg{#1}%
2257
\wlog{doing @fonttextsize \textsizearg}%
2259
% Set \globaldefs so that documents can use this inside @tex, since
2260
% makeinfo 4.8 does not support it, but we need it nonetheless.
2262
\begingroup \globaldefs=1
2263
\ifx\textsizearg\xword \definetextfontsizex
2264
\else \ifx\textsizearg\xiword \definetextfontsizexi
2267
\errmessage{@fonttextsize only supports `10' or `11', not `\textsizearg'}
1584
2273
% In order for the font changes to affect most math symbols and letters,
1585
2274
% we have to define the \textfont of the standard families. Since
6694
7991
\message{localization,}
6697
% @documentlanguage is usually given very early, just after
6698
% @setfilename. If done too late, it may not override everything
6699
% properly. Single argument is the language abbreviation.
6700
% It would be nice if we could set up a hyphenation file here.
7993
% For single-language documents, @documentlanguage is usually given very
7994
% early, just after @documentencoding. Single argument is the language
7995
% (de) or locale (de_DE) abbreviation.
6702
\parseargdef\documentlanguage{%
7998
\catcode`\_ = \active
8000
\parseargdef\documentlanguage{\begingroup
8001
\let_=\normalunderscore % normal _ character for filenames
6703
8002
\tex % read txi-??.tex file in plain TeX.
6704
% Read the file if it exists.
8003
% Read the file by the name they passed if it exists.
6705
8004
\openin 1 txi-#1.tex
6707
\errhelp = \nolanghelp
6708
\errmessage{Cannot read language file txi-#1.tex}%
8006
\documentlanguagetrywithoutunderscore{#1_\finish}%
8008
\globaldefs = 1 % everything in the txi-LL files needs to persist
6710
8009
\input txi-#1.tex
8012
\endgroup % end raw TeX
8015
% If they passed de_DE, and txi-de_DE.tex doesn't exist,
8018
\gdef\documentlanguagetrywithoutunderscore#1_#2\finish{%
8019
\openin 1 txi-#1.tex
8021
\errhelp = \nolanghelp
8022
\errmessage{Cannot read language file txi-#1.tex}%
8024
\globaldefs = 1 % everything in the txi-LL files needs to persist
8029
}% end of special _ catcode
6715
8031
\newhelp\nolanghelp{The given language definition file cannot be found or
6716
is empty. Maybe you need to install it? In the current directory
6717
should work if nowhere else does.}
6720
% @documentencoding should change something in TeX eventually, most
6721
% likely, but for now just recognize it.
6722
\let\documentencoding = \comment
6725
% Page size parameters.
8032
is empty. Maybe you need to install it? Putting it in the current
8033
directory should work if nowhere else does.}
8035
% This macro is called from txi-??.tex files; the first argument is the
8036
% \language name to set (without the "\lang@" prefix), the second and
8037
% third args are \{left,right}hyphenmin.
8039
% The language names to pass are determined when the format is built.
8040
% See the etex.log file created at that time, e.g.,
8041
% /usr/local/texlive/2008/texmf-var/web2c/pdftex/etex.log.
8043
% With TeX Live 2008, etex now includes hyphenation patterns for all
8044
% available languages. This means we can support hyphenation in
8045
% Texinfo, at least to some extent. (This still doesn't solve the
8046
% accented characters problem.)
8049
\def\txisetlanguage#1#2#3{%
8050
% do not set the language if the name is undefined in the current TeX.
8051
\expandafter\ifx\csname lang@#1\endcsname \relax
8052
\message{no patterns for #1}%
8054
\global\language = \csname lang@#1\endcsname
8056
% but there is no harm in adjusting the hyphenmin values regardless.
8057
\global\lefthyphenmin = #2\relax
8058
\global\righthyphenmin = #3\relax
8061
% Helpers for encodings.
8062
% Set the catcode of characters 128 through 255 to the specified number.
8064
\def\setnonasciicharscatcode#1{%
8066
\loop\ifnum\count255<256
8067
\global\catcode\count255=#1\relax
8068
\advance\count255 by 1
8072
\def\setnonasciicharscatcodenonglobal#1{%
8074
\loop\ifnum\count255<256
8075
\catcode\count255=#1\relax
8076
\advance\count255 by 1
8080
% @documentencoding sets the definition of non-ASCII characters
8081
% according to the specified encoding.
8083
\parseargdef\documentencoding{%
8084
% Encoding being declared for the document.
8085
\def\declaredencoding{\csname #1.enc\endcsname}%
8087
% Supported encodings: names converted to tokens in order to be able
8088
% to compare them with \ifx.
8089
\def\ascii{\csname US-ASCII.enc\endcsname}%
8090
\def\latnine{\csname ISO-8859-15.enc\endcsname}%
8091
\def\latone{\csname ISO-8859-1.enc\endcsname}%
8092
\def\lattwo{\csname ISO-8859-2.enc\endcsname}%
8093
\def\utfeight{\csname UTF-8.enc\endcsname}%
8095
\ifx \declaredencoding \ascii
8098
\else \ifx \declaredencoding \lattwo
8099
\setnonasciicharscatcode\active
8102
\else \ifx \declaredencoding \latone
8103
\setnonasciicharscatcode\active
8106
\else \ifx \declaredencoding \latnine
8107
\setnonasciicharscatcode\active
8110
\else \ifx \declaredencoding \utfeight
8111
\setnonasciicharscatcode\active
8115
\message{Unknown document encoding #1, ignoring.}%
8124
% A message to be logged when using a character that isn't available
8125
% the default font encoding (OT1).
8127
\def\missingcharmsg#1{\message{Character missing in OT1 encoding: #1.}}
8129
% Take account of \c (plain) vs. \, (Texinfo) difference.
8130
\def\cedilla#1{\ifx\c\ptexc\c{#1}\else\,{#1}\fi}
8132
% First, make active non-ASCII characters in order for them to be
8133
% correctly categorized when TeX reads the replacement text of
8134
% macros containing the character definitions.
8135
\setnonasciicharscatcode\active
8137
% Latin1 (ISO-8859-1) character definitions.
8138
\def\latonechardefs{%
8140
\gdef^^a1{\exclamdown}
8141
\gdef^^a2{\missingcharmsg{CENT SIGN}}
8142
\gdef^^a3{{\pounds}}
8143
\gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
8144
\gdef^^a5{\missingcharmsg{YEN SIGN}}
8145
\gdef^^a6{\missingcharmsg{BROKEN BAR}}
8148
\gdef^^a9{\copyright}
8150
\gdef^^ab{\guillemetleft}
8153
\gdef^^ae{\registeredsymbol}
8156
\gdef^^b0{\textdegree}
8165
\gdef^^b8{\cedilla\ }
8169
\gdef^^bb{\guilletright}
8170
\gdef^^bc{$1\over4$}
8171
\gdef^^bd{$1\over2$}
8172
\gdef^^be{$3\over4$}
8173
\gdef^^bf{\questiondown}
8180
\gdef^^c5{\ringaccent A}
8182
\gdef^^c7{\cedilla C}
8214
\gdef^^e5{\ringaccent a}
8216
\gdef^^e7{\cedilla c}
8221
\gdef^^ec{\`{\dotless i}}
8222
\gdef^^ed{\'{\dotless i}}
8223
\gdef^^ee{\^{\dotless i}}
8224
\gdef^^ef{\"{\dotless i}}
8244
% Latin9 (ISO-8859-15) encoding character definitions.
8245
\def\latninechardefs{%
8246
% Encoding is almost identical to Latin1.
8259
% Latin2 (ISO-8859-2) character definitions.
8260
\def\lattwochardefs{%
8262
\gdef^^a1{\ogonek{A}}
8265
\gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
8271
\gdef^^aa{\cedilla S}
8276
\gdef^^af{\dotaccent Z}
8278
\gdef^^b0{\textdegree}
8279
\gdef^^b1{\ogonek{a}}
8280
\gdef^^b2{\ogonek{ }}
8286
\gdef^^b8{\cedilla\ }
8288
\gdef^^ba{\cedilla s}
8293
\gdef^^bf{\dotaccent z}
8302
\gdef^^c7{\cedilla C}
8305
\gdef^^ca{\ogonek{E}}
8321
\gdef^^d9{\ringaccent U}
8326
\gdef^^de{\cedilla T}
8336
\gdef^^e7{\cedilla c}
8339
\gdef^^ea{\ogonek{e}}
8355
\gdef^^f9{\ringaccent u}
8360
\gdef^^fe{\cedilla t}
8361
\gdef^^ff{\dotaccent{}}
8364
% UTF-8 character definitions.
8366
% This code to support UTF-8 is based on LaTeX's utf8.def, with some
8367
% changes for Texinfo conventions. It is included here under the GPL by
8368
% permission from Frank Mittelbach and the LaTeX team.
8374
\gdef\UTFviiiTwoOctets#1#2{\expandafter
8375
\UTFviiiDefined\csname u8:#1\string #2\endcsname}
8377
\gdef\UTFviiiThreeOctets#1#2#3{\expandafter
8378
\UTFviiiDefined\csname u8:#1\string #2\string #3\endcsname}
8380
\gdef\UTFviiiFourOctets#1#2#3#4{\expandafter
8381
\UTFviiiDefined\csname u8:#1\string #2\string #3\string #4\endcsname}
8383
\gdef\UTFviiiDefined#1{%
8385
\message{\linenumber Unicode char \string #1 not defined for Texinfo}%
8396
\global\catcode\countUTFx\active
8397
\uccode`\~\countUTFx
8398
\uppercase\expandafter{\UTFviiiTmp}%
8399
\advance\countUTFx by 1
8400
\ifnum\countUTFx < \countUTFy
8401
\expandafter\UTFviiiLoop
8407
\xdef~{\noexpand\UTFviiiTwoOctets\string~}}
8413
\xdef~{\noexpand\UTFviiiThreeOctets\string~}}
8419
\xdef~{\noexpand\UTFviiiFourOctets\string~}}
8432
\gdef\DeclareUnicodeCharacter#1#2{%
8433
\countUTFz = "#1\relax
8434
\wlog{\space\space defining Unicode char U+#1 (decimal \the\countUTFz)}%
8437
\def\UTFviiiTwoOctets##1##2{%
8438
\csname u8:##1\string ##2\endcsname}%
8439
\def\UTFviiiThreeOctets##1##2##3{%
8440
\csname u8:##1\string ##2\string ##3\endcsname}%
8441
\def\UTFviiiFourOctets##1##2##3##4{%
8442
\csname u8:##1\string ##2\string ##3\string ##4\endcsname}%
8443
\expandafter\expandafter\expandafter\expandafter
8444
\expandafter\expandafter\expandafter
8445
\gdef\UTFviiiTmp{#2}%
8448
\gdef\parseXMLCharref{%
8449
\ifnum\countUTFz < "A0\relax
8450
\errhelp = \EMsimple
8451
\errmessage{Cannot define Unicode char value < 00A0}%
8452
\else\ifnum\countUTFz < "800\relax
8454
\parseUTFviiiB C\UTFviiiTwoOctets.,%
8455
\else\ifnum\countUTFz < "10000\relax
8458
\parseUTFviiiB E\UTFviiiThreeOctets.{,;}%
8463
\parseUTFviiiB F\UTFviiiFourOctets.{!,;}%
8467
\gdef\parseUTFviiiA#1{%
8468
\countUTFx = \countUTFz
8469
\divide\countUTFz by 64
8470
\countUTFy = \countUTFz
8471
\multiply\countUTFz by 64
8472
\advance\countUTFx by -\countUTFz
8473
\advance\countUTFx by 128
8474
\uccode `#1\countUTFx
8475
\countUTFz = \countUTFy}
8477
\gdef\parseUTFviiiB#1#2#3#4{%
8478
\advance\countUTFz by "#10\relax
8479
\uccode `#3\countUTFz
8480
\uppercase{\gdef\UTFviiiTmp{#2#3#4}}}
8483
\def\utfeightchardefs{%
8484
\DeclareUnicodeCharacter{00A0}{\tie}
8485
\DeclareUnicodeCharacter{00A1}{\exclamdown}
8486
\DeclareUnicodeCharacter{00A3}{\pounds}
8487
\DeclareUnicodeCharacter{00A8}{\"{ }}
8488
\DeclareUnicodeCharacter{00A9}{\copyright}
8489
\DeclareUnicodeCharacter{00AA}{\ordf}
8490
\DeclareUnicodeCharacter{00AB}{\guillemetleft}
8491
\DeclareUnicodeCharacter{00AD}{\-}
8492
\DeclareUnicodeCharacter{00AE}{\registeredsymbol}
8493
\DeclareUnicodeCharacter{00AF}{\={ }}
8495
\DeclareUnicodeCharacter{00B0}{\ringaccent{ }}
8496
\DeclareUnicodeCharacter{00B4}{\'{ }}
8497
\DeclareUnicodeCharacter{00B8}{\cedilla{ }}
8498
\DeclareUnicodeCharacter{00BA}{\ordm}
8499
\DeclareUnicodeCharacter{00BB}{\guillemetright}
8500
\DeclareUnicodeCharacter{00BF}{\questiondown}
8502
\DeclareUnicodeCharacter{00C0}{\`A}
8503
\DeclareUnicodeCharacter{00C1}{\'A}
8504
\DeclareUnicodeCharacter{00C2}{\^A}
8505
\DeclareUnicodeCharacter{00C3}{\~A}
8506
\DeclareUnicodeCharacter{00C4}{\"A}
8507
\DeclareUnicodeCharacter{00C5}{\AA}
8508
\DeclareUnicodeCharacter{00C6}{\AE}
8509
\DeclareUnicodeCharacter{00C7}{\cedilla{C}}
8510
\DeclareUnicodeCharacter{00C8}{\`E}
8511
\DeclareUnicodeCharacter{00C9}{\'E}
8512
\DeclareUnicodeCharacter{00CA}{\^E}
8513
\DeclareUnicodeCharacter{00CB}{\"E}
8514
\DeclareUnicodeCharacter{00CC}{\`I}
8515
\DeclareUnicodeCharacter{00CD}{\'I}
8516
\DeclareUnicodeCharacter{00CE}{\^I}
8517
\DeclareUnicodeCharacter{00CF}{\"I}
8519
\DeclareUnicodeCharacter{00D0}{\DH}
8520
\DeclareUnicodeCharacter{00D1}{\~N}
8521
\DeclareUnicodeCharacter{00D2}{\`O}
8522
\DeclareUnicodeCharacter{00D3}{\'O}
8523
\DeclareUnicodeCharacter{00D4}{\^O}
8524
\DeclareUnicodeCharacter{00D5}{\~O}
8525
\DeclareUnicodeCharacter{00D6}{\"O}
8526
\DeclareUnicodeCharacter{00D8}{\O}
8527
\DeclareUnicodeCharacter{00D9}{\`U}
8528
\DeclareUnicodeCharacter{00DA}{\'U}
8529
\DeclareUnicodeCharacter{00DB}{\^U}
8530
\DeclareUnicodeCharacter{00DC}{\"U}
8531
\DeclareUnicodeCharacter{00DD}{\'Y}
8532
\DeclareUnicodeCharacter{00DE}{\TH}
8533
\DeclareUnicodeCharacter{00DF}{\ss}
8535
\DeclareUnicodeCharacter{00E0}{\`a}
8536
\DeclareUnicodeCharacter{00E1}{\'a}
8537
\DeclareUnicodeCharacter{00E2}{\^a}
8538
\DeclareUnicodeCharacter{00E3}{\~a}
8539
\DeclareUnicodeCharacter{00E4}{\"a}
8540
\DeclareUnicodeCharacter{00E5}{\aa}
8541
\DeclareUnicodeCharacter{00E6}{\ae}
8542
\DeclareUnicodeCharacter{00E7}{\cedilla{c}}
8543
\DeclareUnicodeCharacter{00E8}{\`e}
8544
\DeclareUnicodeCharacter{00E9}{\'e}
8545
\DeclareUnicodeCharacter{00EA}{\^e}
8546
\DeclareUnicodeCharacter{00EB}{\"e}
8547
\DeclareUnicodeCharacter{00EC}{\`{\dotless{i}}}
8548
\DeclareUnicodeCharacter{00ED}{\'{\dotless{i}}}
8549
\DeclareUnicodeCharacter{00EE}{\^{\dotless{i}}}
8550
\DeclareUnicodeCharacter{00EF}{\"{\dotless{i}}}
8552
\DeclareUnicodeCharacter{00F0}{\dh}
8553
\DeclareUnicodeCharacter{00F1}{\~n}
8554
\DeclareUnicodeCharacter{00F2}{\`o}
8555
\DeclareUnicodeCharacter{00F3}{\'o}
8556
\DeclareUnicodeCharacter{00F4}{\^o}
8557
\DeclareUnicodeCharacter{00F5}{\~o}
8558
\DeclareUnicodeCharacter{00F6}{\"o}
8559
\DeclareUnicodeCharacter{00F8}{\o}
8560
\DeclareUnicodeCharacter{00F9}{\`u}
8561
\DeclareUnicodeCharacter{00FA}{\'u}
8562
\DeclareUnicodeCharacter{00FB}{\^u}
8563
\DeclareUnicodeCharacter{00FC}{\"u}
8564
\DeclareUnicodeCharacter{00FD}{\'y}
8565
\DeclareUnicodeCharacter{00FE}{\th}
8566
\DeclareUnicodeCharacter{00FF}{\"y}
8568
\DeclareUnicodeCharacter{0100}{\=A}
8569
\DeclareUnicodeCharacter{0101}{\=a}
8570
\DeclareUnicodeCharacter{0102}{\u{A}}
8571
\DeclareUnicodeCharacter{0103}{\u{a}}
8572
\DeclareUnicodeCharacter{0104}{\ogonek{A}}
8573
\DeclareUnicodeCharacter{0105}{\ogonek{a}}
8574
\DeclareUnicodeCharacter{0106}{\'C}
8575
\DeclareUnicodeCharacter{0107}{\'c}
8576
\DeclareUnicodeCharacter{0108}{\^C}
8577
\DeclareUnicodeCharacter{0109}{\^c}
8578
\DeclareUnicodeCharacter{0118}{\ogonek{E}}
8579
\DeclareUnicodeCharacter{0119}{\ogonek{e}}
8580
\DeclareUnicodeCharacter{010A}{\dotaccent{C}}
8581
\DeclareUnicodeCharacter{010B}{\dotaccent{c}}
8582
\DeclareUnicodeCharacter{010C}{\v{C}}
8583
\DeclareUnicodeCharacter{010D}{\v{c}}
8584
\DeclareUnicodeCharacter{010E}{\v{D}}
8586
\DeclareUnicodeCharacter{0112}{\=E}
8587
\DeclareUnicodeCharacter{0113}{\=e}
8588
\DeclareUnicodeCharacter{0114}{\u{E}}
8589
\DeclareUnicodeCharacter{0115}{\u{e}}
8590
\DeclareUnicodeCharacter{0116}{\dotaccent{E}}
8591
\DeclareUnicodeCharacter{0117}{\dotaccent{e}}
8592
\DeclareUnicodeCharacter{011A}{\v{E}}
8593
\DeclareUnicodeCharacter{011B}{\v{e}}
8594
\DeclareUnicodeCharacter{011C}{\^G}
8595
\DeclareUnicodeCharacter{011D}{\^g}
8596
\DeclareUnicodeCharacter{011E}{\u{G}}
8597
\DeclareUnicodeCharacter{011F}{\u{g}}
8599
\DeclareUnicodeCharacter{0120}{\dotaccent{G}}
8600
\DeclareUnicodeCharacter{0121}{\dotaccent{g}}
8601
\DeclareUnicodeCharacter{0124}{\^H}
8602
\DeclareUnicodeCharacter{0125}{\^h}
8603
\DeclareUnicodeCharacter{0128}{\~I}
8604
\DeclareUnicodeCharacter{0129}{\~{\dotless{i}}}
8605
\DeclareUnicodeCharacter{012A}{\=I}
8606
\DeclareUnicodeCharacter{012B}{\={\dotless{i}}}
8607
\DeclareUnicodeCharacter{012C}{\u{I}}
8608
\DeclareUnicodeCharacter{012D}{\u{\dotless{i}}}
8610
\DeclareUnicodeCharacter{0130}{\dotaccent{I}}
8611
\DeclareUnicodeCharacter{0131}{\dotless{i}}
8612
\DeclareUnicodeCharacter{0132}{IJ}
8613
\DeclareUnicodeCharacter{0133}{ij}
8614
\DeclareUnicodeCharacter{0134}{\^J}
8615
\DeclareUnicodeCharacter{0135}{\^{\dotless{j}}}
8616
\DeclareUnicodeCharacter{0139}{\'L}
8617
\DeclareUnicodeCharacter{013A}{\'l}
8619
\DeclareUnicodeCharacter{0141}{\L}
8620
\DeclareUnicodeCharacter{0142}{\l}
8621
\DeclareUnicodeCharacter{0143}{\'N}
8622
\DeclareUnicodeCharacter{0144}{\'n}
8623
\DeclareUnicodeCharacter{0147}{\v{N}}
8624
\DeclareUnicodeCharacter{0148}{\v{n}}
8625
\DeclareUnicodeCharacter{014C}{\=O}
8626
\DeclareUnicodeCharacter{014D}{\=o}
8627
\DeclareUnicodeCharacter{014E}{\u{O}}
8628
\DeclareUnicodeCharacter{014F}{\u{o}}
8630
\DeclareUnicodeCharacter{0150}{\H{O}}
8631
\DeclareUnicodeCharacter{0151}{\H{o}}
8632
\DeclareUnicodeCharacter{0152}{\OE}
8633
\DeclareUnicodeCharacter{0153}{\oe}
8634
\DeclareUnicodeCharacter{0154}{\'R}
8635
\DeclareUnicodeCharacter{0155}{\'r}
8636
\DeclareUnicodeCharacter{0158}{\v{R}}
8637
\DeclareUnicodeCharacter{0159}{\v{r}}
8638
\DeclareUnicodeCharacter{015A}{\'S}
8639
\DeclareUnicodeCharacter{015B}{\'s}
8640
\DeclareUnicodeCharacter{015C}{\^S}
8641
\DeclareUnicodeCharacter{015D}{\^s}
8642
\DeclareUnicodeCharacter{015E}{\cedilla{S}}
8643
\DeclareUnicodeCharacter{015F}{\cedilla{s}}
8645
\DeclareUnicodeCharacter{0160}{\v{S}}
8646
\DeclareUnicodeCharacter{0161}{\v{s}}
8647
\DeclareUnicodeCharacter{0162}{\cedilla{t}}
8648
\DeclareUnicodeCharacter{0163}{\cedilla{T}}
8649
\DeclareUnicodeCharacter{0164}{\v{T}}
8651
\DeclareUnicodeCharacter{0168}{\~U}
8652
\DeclareUnicodeCharacter{0169}{\~u}
8653
\DeclareUnicodeCharacter{016A}{\=U}
8654
\DeclareUnicodeCharacter{016B}{\=u}
8655
\DeclareUnicodeCharacter{016C}{\u{U}}
8656
\DeclareUnicodeCharacter{016D}{\u{u}}
8657
\DeclareUnicodeCharacter{016E}{\ringaccent{U}}
8658
\DeclareUnicodeCharacter{016F}{\ringaccent{u}}
8660
\DeclareUnicodeCharacter{0170}{\H{U}}
8661
\DeclareUnicodeCharacter{0171}{\H{u}}
8662
\DeclareUnicodeCharacter{0174}{\^W}
8663
\DeclareUnicodeCharacter{0175}{\^w}
8664
\DeclareUnicodeCharacter{0176}{\^Y}
8665
\DeclareUnicodeCharacter{0177}{\^y}
8666
\DeclareUnicodeCharacter{0178}{\"Y}
8667
\DeclareUnicodeCharacter{0179}{\'Z}
8668
\DeclareUnicodeCharacter{017A}{\'z}
8669
\DeclareUnicodeCharacter{017B}{\dotaccent{Z}}
8670
\DeclareUnicodeCharacter{017C}{\dotaccent{z}}
8671
\DeclareUnicodeCharacter{017D}{\v{Z}}
8672
\DeclareUnicodeCharacter{017E}{\v{z}}
8674
\DeclareUnicodeCharacter{01C4}{D\v{Z}}
8675
\DeclareUnicodeCharacter{01C5}{D\v{z}}
8676
\DeclareUnicodeCharacter{01C6}{d\v{z}}
8677
\DeclareUnicodeCharacter{01C7}{LJ}
8678
\DeclareUnicodeCharacter{01C8}{Lj}
8679
\DeclareUnicodeCharacter{01C9}{lj}
8680
\DeclareUnicodeCharacter{01CA}{NJ}
8681
\DeclareUnicodeCharacter{01CB}{Nj}
8682
\DeclareUnicodeCharacter{01CC}{nj}
8683
\DeclareUnicodeCharacter{01CD}{\v{A}}
8684
\DeclareUnicodeCharacter{01CE}{\v{a}}
8685
\DeclareUnicodeCharacter{01CF}{\v{I}}
8687
\DeclareUnicodeCharacter{01D0}{\v{\dotless{i}}}
8688
\DeclareUnicodeCharacter{01D1}{\v{O}}
8689
\DeclareUnicodeCharacter{01D2}{\v{o}}
8690
\DeclareUnicodeCharacter{01D3}{\v{U}}
8691
\DeclareUnicodeCharacter{01D4}{\v{u}}
8693
\DeclareUnicodeCharacter{01E2}{\={\AE}}
8694
\DeclareUnicodeCharacter{01E3}{\={\ae}}
8695
\DeclareUnicodeCharacter{01E6}{\v{G}}
8696
\DeclareUnicodeCharacter{01E7}{\v{g}}
8697
\DeclareUnicodeCharacter{01E8}{\v{K}}
8698
\DeclareUnicodeCharacter{01E9}{\v{k}}
8700
\DeclareUnicodeCharacter{01F0}{\v{\dotless{j}}}
8701
\DeclareUnicodeCharacter{01F1}{DZ}
8702
\DeclareUnicodeCharacter{01F2}{Dz}
8703
\DeclareUnicodeCharacter{01F3}{dz}
8704
\DeclareUnicodeCharacter{01F4}{\'G}
8705
\DeclareUnicodeCharacter{01F5}{\'g}
8706
\DeclareUnicodeCharacter{01F8}{\`N}
8707
\DeclareUnicodeCharacter{01F9}{\`n}
8708
\DeclareUnicodeCharacter{01FC}{\'{\AE}}
8709
\DeclareUnicodeCharacter{01FD}{\'{\ae}}
8710
\DeclareUnicodeCharacter{01FE}{\'{\O}}
8711
\DeclareUnicodeCharacter{01FF}{\'{\o}}
8713
\DeclareUnicodeCharacter{021E}{\v{H}}
8714
\DeclareUnicodeCharacter{021F}{\v{h}}
8716
\DeclareUnicodeCharacter{0226}{\dotaccent{A}}
8717
\DeclareUnicodeCharacter{0227}{\dotaccent{a}}
8718
\DeclareUnicodeCharacter{0228}{\cedilla{E}}
8719
\DeclareUnicodeCharacter{0229}{\cedilla{e}}
8720
\DeclareUnicodeCharacter{022E}{\dotaccent{O}}
8721
\DeclareUnicodeCharacter{022F}{\dotaccent{o}}
8723
\DeclareUnicodeCharacter{0232}{\=Y}
8724
\DeclareUnicodeCharacter{0233}{\=y}
8725
\DeclareUnicodeCharacter{0237}{\dotless{j}}
8727
\DeclareUnicodeCharacter{02DB}{\ogonek{ }}
8729
\DeclareUnicodeCharacter{1E02}{\dotaccent{B}}
8730
\DeclareUnicodeCharacter{1E03}{\dotaccent{b}}
8731
\DeclareUnicodeCharacter{1E04}{\udotaccent{B}}
8732
\DeclareUnicodeCharacter{1E05}{\udotaccent{b}}
8733
\DeclareUnicodeCharacter{1E06}{\ubaraccent{B}}
8734
\DeclareUnicodeCharacter{1E07}{\ubaraccent{b}}
8735
\DeclareUnicodeCharacter{1E0A}{\dotaccent{D}}
8736
\DeclareUnicodeCharacter{1E0B}{\dotaccent{d}}
8737
\DeclareUnicodeCharacter{1E0C}{\udotaccent{D}}
8738
\DeclareUnicodeCharacter{1E0D}{\udotaccent{d}}
8739
\DeclareUnicodeCharacter{1E0E}{\ubaraccent{D}}
8740
\DeclareUnicodeCharacter{1E0F}{\ubaraccent{d}}
8742
\DeclareUnicodeCharacter{1E1E}{\dotaccent{F}}
8743
\DeclareUnicodeCharacter{1E1F}{\dotaccent{f}}
8745
\DeclareUnicodeCharacter{1E20}{\=G}
8746
\DeclareUnicodeCharacter{1E21}{\=g}
8747
\DeclareUnicodeCharacter{1E22}{\dotaccent{H}}
8748
\DeclareUnicodeCharacter{1E23}{\dotaccent{h}}
8749
\DeclareUnicodeCharacter{1E24}{\udotaccent{H}}
8750
\DeclareUnicodeCharacter{1E25}{\udotaccent{h}}
8751
\DeclareUnicodeCharacter{1E26}{\"H}
8752
\DeclareUnicodeCharacter{1E27}{\"h}
8754
\DeclareUnicodeCharacter{1E30}{\'K}
8755
\DeclareUnicodeCharacter{1E31}{\'k}
8756
\DeclareUnicodeCharacter{1E32}{\udotaccent{K}}
8757
\DeclareUnicodeCharacter{1E33}{\udotaccent{k}}
8758
\DeclareUnicodeCharacter{1E34}{\ubaraccent{K}}
8759
\DeclareUnicodeCharacter{1E35}{\ubaraccent{k}}
8760
\DeclareUnicodeCharacter{1E36}{\udotaccent{L}}
8761
\DeclareUnicodeCharacter{1E37}{\udotaccent{l}}
8762
\DeclareUnicodeCharacter{1E3A}{\ubaraccent{L}}
8763
\DeclareUnicodeCharacter{1E3B}{\ubaraccent{l}}
8764
\DeclareUnicodeCharacter{1E3E}{\'M}
8765
\DeclareUnicodeCharacter{1E3F}{\'m}
8767
\DeclareUnicodeCharacter{1E40}{\dotaccent{M}}
8768
\DeclareUnicodeCharacter{1E41}{\dotaccent{m}}
8769
\DeclareUnicodeCharacter{1E42}{\udotaccent{M}}
8770
\DeclareUnicodeCharacter{1E43}{\udotaccent{m}}
8771
\DeclareUnicodeCharacter{1E44}{\dotaccent{N}}
8772
\DeclareUnicodeCharacter{1E45}{\dotaccent{n}}
8773
\DeclareUnicodeCharacter{1E46}{\udotaccent{N}}
8774
\DeclareUnicodeCharacter{1E47}{\udotaccent{n}}
8775
\DeclareUnicodeCharacter{1E48}{\ubaraccent{N}}
8776
\DeclareUnicodeCharacter{1E49}{\ubaraccent{n}}
8778
\DeclareUnicodeCharacter{1E54}{\'P}
8779
\DeclareUnicodeCharacter{1E55}{\'p}
8780
\DeclareUnicodeCharacter{1E56}{\dotaccent{P}}
8781
\DeclareUnicodeCharacter{1E57}{\dotaccent{p}}
8782
\DeclareUnicodeCharacter{1E58}{\dotaccent{R}}
8783
\DeclareUnicodeCharacter{1E59}{\dotaccent{r}}
8784
\DeclareUnicodeCharacter{1E5A}{\udotaccent{R}}
8785
\DeclareUnicodeCharacter{1E5B}{\udotaccent{r}}
8786
\DeclareUnicodeCharacter{1E5E}{\ubaraccent{R}}
8787
\DeclareUnicodeCharacter{1E5F}{\ubaraccent{r}}
8789
\DeclareUnicodeCharacter{1E60}{\dotaccent{S}}
8790
\DeclareUnicodeCharacter{1E61}{\dotaccent{s}}
8791
\DeclareUnicodeCharacter{1E62}{\udotaccent{S}}
8792
\DeclareUnicodeCharacter{1E63}{\udotaccent{s}}
8793
\DeclareUnicodeCharacter{1E6A}{\dotaccent{T}}
8794
\DeclareUnicodeCharacter{1E6B}{\dotaccent{t}}
8795
\DeclareUnicodeCharacter{1E6C}{\udotaccent{T}}
8796
\DeclareUnicodeCharacter{1E6D}{\udotaccent{t}}
8797
\DeclareUnicodeCharacter{1E6E}{\ubaraccent{T}}
8798
\DeclareUnicodeCharacter{1E6F}{\ubaraccent{t}}
8800
\DeclareUnicodeCharacter{1E7C}{\~V}
8801
\DeclareUnicodeCharacter{1E7D}{\~v}
8802
\DeclareUnicodeCharacter{1E7E}{\udotaccent{V}}
8803
\DeclareUnicodeCharacter{1E7F}{\udotaccent{v}}
8805
\DeclareUnicodeCharacter{1E80}{\`W}
8806
\DeclareUnicodeCharacter{1E81}{\`w}
8807
\DeclareUnicodeCharacter{1E82}{\'W}
8808
\DeclareUnicodeCharacter{1E83}{\'w}
8809
\DeclareUnicodeCharacter{1E84}{\"W}
8810
\DeclareUnicodeCharacter{1E85}{\"w}
8811
\DeclareUnicodeCharacter{1E86}{\dotaccent{W}}
8812
\DeclareUnicodeCharacter{1E87}{\dotaccent{w}}
8813
\DeclareUnicodeCharacter{1E88}{\udotaccent{W}}
8814
\DeclareUnicodeCharacter{1E89}{\udotaccent{w}}
8815
\DeclareUnicodeCharacter{1E8A}{\dotaccent{X}}
8816
\DeclareUnicodeCharacter{1E8B}{\dotaccent{x}}
8817
\DeclareUnicodeCharacter{1E8C}{\"X}
8818
\DeclareUnicodeCharacter{1E8D}{\"x}
8819
\DeclareUnicodeCharacter{1E8E}{\dotaccent{Y}}
8820
\DeclareUnicodeCharacter{1E8F}{\dotaccent{y}}
8822
\DeclareUnicodeCharacter{1E90}{\^Z}
8823
\DeclareUnicodeCharacter{1E91}{\^z}
8824
\DeclareUnicodeCharacter{1E92}{\udotaccent{Z}}
8825
\DeclareUnicodeCharacter{1E93}{\udotaccent{z}}
8826
\DeclareUnicodeCharacter{1E94}{\ubaraccent{Z}}
8827
\DeclareUnicodeCharacter{1E95}{\ubaraccent{z}}
8828
\DeclareUnicodeCharacter{1E96}{\ubaraccent{h}}
8829
\DeclareUnicodeCharacter{1E97}{\"t}
8830
\DeclareUnicodeCharacter{1E98}{\ringaccent{w}}
8831
\DeclareUnicodeCharacter{1E99}{\ringaccent{y}}
8833
\DeclareUnicodeCharacter{1EA0}{\udotaccent{A}}
8834
\DeclareUnicodeCharacter{1EA1}{\udotaccent{a}}
8836
\DeclareUnicodeCharacter{1EB8}{\udotaccent{E}}
8837
\DeclareUnicodeCharacter{1EB9}{\udotaccent{e}}
8838
\DeclareUnicodeCharacter{1EBC}{\~E}
8839
\DeclareUnicodeCharacter{1EBD}{\~e}
8841
\DeclareUnicodeCharacter{1ECA}{\udotaccent{I}}
8842
\DeclareUnicodeCharacter{1ECB}{\udotaccent{i}}
8843
\DeclareUnicodeCharacter{1ECC}{\udotaccent{O}}
8844
\DeclareUnicodeCharacter{1ECD}{\udotaccent{o}}
8846
\DeclareUnicodeCharacter{1EE4}{\udotaccent{U}}
8847
\DeclareUnicodeCharacter{1EE5}{\udotaccent{u}}
8849
\DeclareUnicodeCharacter{1EF2}{\`Y}
8850
\DeclareUnicodeCharacter{1EF3}{\`y}
8851
\DeclareUnicodeCharacter{1EF4}{\udotaccent{Y}}
8853
\DeclareUnicodeCharacter{1EF8}{\~Y}
8854
\DeclareUnicodeCharacter{1EF9}{\~y}
8856
\DeclareUnicodeCharacter{2013}{--}
8857
\DeclareUnicodeCharacter{2014}{---}
8858
\DeclareUnicodeCharacter{2018}{\quoteleft}
8859
\DeclareUnicodeCharacter{2019}{\quoteright}
8860
\DeclareUnicodeCharacter{201A}{\quotesinglbase}
8861
\DeclareUnicodeCharacter{201C}{\quotedblleft}
8862
\DeclareUnicodeCharacter{201D}{\quotedblright}
8863
\DeclareUnicodeCharacter{201E}{\quotedblbase}
8864
\DeclareUnicodeCharacter{2022}{\bullet}
8865
\DeclareUnicodeCharacter{2026}{\dots}
8866
\DeclareUnicodeCharacter{2039}{\guilsinglleft}
8867
\DeclareUnicodeCharacter{203A}{\guilsinglright}
8868
\DeclareUnicodeCharacter{20AC}{\euro}
8870
\DeclareUnicodeCharacter{2192}{\expansion}
8871
\DeclareUnicodeCharacter{21D2}{\result}
8873
\DeclareUnicodeCharacter{2212}{\minus}
8874
\DeclareUnicodeCharacter{2217}{\point}
8875
\DeclareUnicodeCharacter{2261}{\equiv}
8876
}% end of \utfeightchardefs
8879
% US-ASCII character definitions.
8880
\def\asciichardefs{% nothing need be done
8884
% Make non-ASCII characters printable again for compatibility with
8885
% existing Texinfo documents that may use them, even without declaring a
8886
% document encoding.
8888
\setnonasciicharscatcode \other
8891
\message{formatting,}
6727
8893
\newdimen\defaultparindent \defaultparindent = 15pt
6729
8895
\chapheadingskip = 15pt plus 4pt minus 2pt