\pdftrue    \fi  \fi\fi% PDF uses PostScript string constants for the names of xref targets,% for display in the outlines, and in other places.  Thus, we have to% double any backslashes.  Otherwise, a name like "\node" will be% interpreted as a newline (\n), followed by o, d, e.  Not good.% http://www.ntg.nl/pipermail/ntg-pdftex/2004-July/000654.html% (and related messages, the final outcome is that it is up to the TeX% user to double the backslashes and otherwise make the string valid, so% that's what we do).% double active backslashes.% {\catcode`\@=0 \catcode`\\=\active @gdef@activebackslashdouble{%   @catcode`@\=@active   @let\=@doublebackslash}}% To handle parens, we must adopt a different approach, since parens are% not active characters.  hyperref.dtx (which has the same problem as% us) handles it with this amazing macro to replace tokens, with minor% changes for Texinfo.  It is included here under the GPL by permission% from the author, Heiko Oberdiek.% % #1 is the tokens to replace.% #2 is the replacement.% #3 is the control sequence with the string.% \def\HyPsdSubst#1#2#3{%  \def\HyPsdReplace##1#1##2\END{%    ##1%    \ifx\\##2\\%    \else      #2%      \HyReturnAfterFi{%        \HyPsdReplace##2\END      }%    \fi  }%  \xdef#3{\expandafter\HyPsdReplace#3#1\END}%}\long\def\HyReturnAfterFi#1\fi{\fi#1}% #1 is a control sequence in which to do the replacements.\def\backslashparens#1{%  \xdef#1{#1}% redefine it as its expansion; the definition is simply             % \lastnode when called from \setref -> \pdfmkdest.  \HyPsdSubst{(}{\realbackslash(}{#1}%  \HyPsdSubst{)}{\realbackslash)}{#1}%}\newhelp\nopdfimagehelp{Texinfo supports .png, .jpg, .jpeg, and .pdf imageswith PDF output, and none of those formats could be found.  (.eps cannotbe supported due to the design of the PDF format; use regular TeX (DVIoutput) for that.)}\ifpdf  %  % Color manipulation macros based on pdfcolor.tex.  \def\cmykDarkRed{0.28 1 1 0.35}  \def\cmykBlack{0 0 0 1}  %  % 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}}  %  % Set color, and create a mark which defines \thiscolor accordingly,  % so that \makeheadline knows which color to restore.  \def\setcolor#1{%    \xdef\lastcolordefs{\gdef\noexpand\thiscolor{#1}}%    \domark    \pdfsetcolor{#1}%  }  %  \def\maincolor{\cmykBlack}  \pdfsetcolor{\maincolor}  \edef\thiscolor{\maincolor}  \def\lastcolordefs{}  %  \def\makefootline{%    \baselineskip24pt    \line{\pdfsetcolor{\maincolor}\the\footline}%  }  %  \def\makeheadline{%    \vbox to 0pt{%      \vskip-22.5pt      \line{%        \vbox to8.5pt{}%        % Extract \thiscolor definition from the marks.        \getcolormarks        % Typeset the headline with \maincolor, then restore the color.        \pdfsetcolor{\maincolor}\the\headline\pdfsetcolor{\thiscolor}%      }%      \vss    }%    \nointerlineskip  }  %  %  \pdfcatalog{/PageMode /UseOutlines}  %  % #1 is image name, #2 width (might be empty/whitespace), #3 height (ditto).  \def\dopdfimage#1#2#3{%    \def\imagewidth{#2}\setbox0 = \hbox{\ignorespaces #2}%    \def\imageheight{#3}\setbox2 = \hbox{\ignorespaces #3}%    %    % pdftex (and the PDF format) support .png, .jpg, .pdf (among    % others).  Let's try in that order.    \let\pdfimgext=\empty    \begingroup      \openin 1 #1.png \ifeof 1        \openin 1 #1.jpg \ifeof 1          \openin 1 #1.jpeg \ifeof 1            \openin 1 #1.JPG \ifeof 1              \openin 1 #1.pdf \ifeof 1                \openin 1 #1.PDF \ifeof 1                  \errhelp = \nopdfimagehelp                  \errmessage{Could not find image file #1 for pdf}%                \else \gdef\pdfimgext{PDF}%                \fi              \else \gdef\pdfimgext{pdf}%              \fi            \else \gdef\pdfimgext{JPG}%            \fi          \else \gdef\pdfimgext{jpeg}%          \fi        \else \gdef\pdfimgext{jpg}%        \fi      \else \gdef\pdfimgext{png}%      \fi      \closein 1    \endgroup    %    % without \immediate, ancient pdftex seg faults when the same image is    % included twice.  (Version 3.14159-pre-1.0-unofficial-20010704.)    \ifnum\pdftexversion < 14      \immediate\pdfimage    \else      \immediate\pdfximage    \fi      \ifdim \wd0 >0pt width \imagewidth \fi      \ifdim \wd2 >0pt height \imageheight \fi      \ifnum\pdftexversion<13         #1.\pdfimgext       \else         {#1.\pdfimgext}%       \fi    \ifnum\pdftexversion < 14 \else      \pdfrefximage \pdflastximage    \fi}  %  \def\pdfmkdest#1{{%    % We have to set dummies so commands such as @code, and characters    % such as \, aren't expanded when present in a section title.    \indexnofonts    \turnoffactive    \activebackslashdouble    \makevalueexpandable    \def\pdfdestname{#1}%    \backslashparens\pdfdestname    \safewhatsit{\pdfdest name{\pdfdestname} xyz}%  }}  %  % used to mark target names; must be expandable.  \def\pdfmkpgn#1{#1}  %  % by default, use a color that is dark enough to print on paper as  % nearly black, but still distinguishable for online viewing.  \def\urlcolor{\cmykDarkRed}  \def\linkcolor{\cmykDarkRed}  \def\endlink{\setcolor{\maincolor}\pdfendlink}  %  % Adding outlines to PDF; macros for calculating structure of outlines  % come from Petr Olsak  \def\expnumber#1{\expandafter\ifx\csname#1\endcsname\relax 0%    \else \csname#1\endcsname \fi}  \def\advancenumber#1{\tempnum=\expnumber{#1}\relax    \advance\tempnum by 1    \expandafter\xdef\csname#1\endcsname{\the\tempnum}}  %  % #1 is the section text, which is what will be displayed in the  % outline by the pdf viewer.  #2 is the pdf expression for the number  % of subentries (or empty, for subsubsections).  #3 is the node text,  % which might be empty if this toc entry had no corresponding node.  % #4 is the page number  %  \def\dopdfoutline#1#2#3#4{%    % Generate a link to the node text if that exists; else, use the    % page number.  We could generate a destination for the section    % text in the case where a section has no node, but it doesn't    % seem worth the trouble, since most documents are normally structured.    \def\pdfoutlinedest{#3}%    \ifx\pdfoutlinedest\empty      \def\pdfoutlinedest{#4}%    \else      % Doubled backslashes in the name.      {\activebackslashdouble \xdef\pdfoutlinedest{#3}%       \backslashparens\pdfoutlinedest}%    \fi    %    % Also double the backslashes in the display string.    {\activebackslashdouble \xdef\pdfoutlinetext{#1}%     \backslashparens\pdfoutlinetext}%    %    \pdfoutline goto name{\pdfmkpgn{\pdfoutlinedest}}#2{\pdfoutlinetext}%  }  %  \def\pdfmakeoutlines{%    \begingroup      % Thanh's hack / proper braces in bookmarks      \edef\mylbrace{\iftrue \string{\else}\fi}\let\{=\mylbrace      \edef\myrbrace{\iffalse{\else\string}\fi}\let\}=\myrbrace      %      % Read toc silently, to get counts of subentries for \pdfoutline.      \def\numchapentry##1##2##3##4{%	\def\thischapnum{##2}%	\def\thissecnum{0}%	\def\thissubsecnum{0}%      }%      \def\numsecentry##1##2##3##4{%	\advancenumber{chap\thischapnum}%	\def\thissecnum{##2}%	\def\thissubsecnum{0}%      }%      \def\numsubsecentry##1##2##3##4{%	\advancenumber{sec\thissecnum}%	\def\thissubsecnum{##2}%      }%      \def\numsubsubsecentry##1##2##3##4{%	\advancenumber{subsec\thissubsecnum}%      }%      \def\thischapnum{0}%      \def\thissecnum{0}%      \def\thissubsecnum{0}%      %      % use \def rather than \let here because we redefine \chapentry et      % al. a second time, below.      \def\appentry{\numchapentry}%      \def\appsecentry{\numsecentry}%      \def\appsubsecentry{\numsubsecentry}%      \def\appsubsubsecentry{\numsubsubsecentry}%      \def\unnchapentry{\numchapentry}%      \def\unnsecentry{\numsecentry}%      \def\unnsubsecentry{\numsubsecentry}%      \def\unnsubsubsecentry{\numsubsubsecentry}%      \readdatafile{toc}%      %      % Read toc second time, this time actually producing the outlines.      % The `-' means take the \expnumber as the absolute number of      % subentries, which we calculated on our first read of the .toc above.      %      % We use the node names as the destinations.      \def\numchapentry##1##2##3##4{%        \dopdfoutline{##1}{count-\expnumber{chap##2}}{##3}{##4}}%      \def\numsecentry##1##2##3##4{%        \dopdfoutline{##1}{count-\expnumber{sec##2}}{##3}{##4}}%      \def\numsubsecentry##1##2##3##4{%        \dopdfoutline{##1}{count-\expnumber{subsec##2}}{##3}{##4}}%      \def\numsubsubsecentry##1##2##3##4{% count is always zero        \dopdfoutline{##1}{}{##3}{##4}}%      %      % PDF outlines are displayed using system fonts, instead of      % document fonts.  Therefore we cannot use special characters,      % since the encoding is unknown.  For example, the eogonek from      % Latin 2 (0xea) gets translated to a | character.  Info from      % Staszek Wawrykiewicz, 19 Jan 2004 04:09:24 +0100.      %      % xx to do this right, we have to translate 8-bit characters to      % their "best" equivalent, based on the @documentencoding.  Right      % now, I guess we'll just let the pdf reader have its way.      \indexnofonts      \setupdatafile      \catcode`\\=\active \otherbackslash      \input \tocreadfilename    \endgroup  }  %  \def\skipspaces#1{\def\PP{#1}\def\D{|}%    \ifx\PP\D\let\nextsp\relax    \else\let\nextsp\skipspaces      \ifx\p\space\else\addtokens{\filename}{\PP}%        \advance\filenamelength by 1      \fi    \fi    \nextsp}  \def\getfilename#1{\filenamelength=0\expandafter\skipspaces#1|\relax}  \ifnum\pdftexversion < 14    \let \startlink \pdfannotlink  \else    \let \startlink \pdfstartlink  \fi  % make a live url in pdf output.  \def\pdfurl#1{%    \begingroup      % it seems we really need yet another set of dummies; have not      % tried to figure out what each command should do in the context      % of @url.  for now, just make @/ a no-op, that's the only one      % people have actually reported a problem with.      %       \normalturnoffactive      \def\@{@}%      \let\/=\empty      \makevalueexpandable      % do we want to go so far as to use \indexnofonts instead of just      % special-casing \var here?      \def\var##1{##1}%      %      \leavevmode\setcolor{\urlcolor}%      \startlink attr{/Border [0 0 0]}%        user{/Subtype /Link /A << /S /URI /URI (#1) >>}%    \endgroup}  \def\pdfgettoks#1.{\setbox\boxA=\hbox{\toksA={#1.}\toksB={}\maketoks}}  \def\addtokens#1#2{\edef\addtoks{\noexpand#1={\the#1#2}}\addtoks}  \def\adn#1{\addtokens{\toksC}{#1}\global\countA=1\let\next=\maketoks}  \def\poptoks#1#2|ENDTOKS|{\let\first=#1\toksD={#1}\toksA={#2}}  \def\maketoks{%    \expandafter\poptoks\the\toksA|ENDTOKS|\relax    \ifx\first0\adn0    \else\ifx\first1\adn1 \else\ifx\first2\adn2 \else\ifx\first3\adn3    \else\ifx\first4\adn4 \else\ifx\first5\adn5 \else\ifx\first6\adn6    \else\ifx\first7\adn7 \else\ifx\first8\adn8 \else\ifx\first9\adn9    \else      \ifnum0=\countA\else\makelink\fi      \ifx\first.\let\next=\done\else        \let\next=\maketoks        \addtokens{\toksB}{\the\toksD}        \ifx\first,\addtokens{\toksB}{\space}\fi      \fi    \fi\fi\fi\fi\fi\fi\fi\fi\fi\fi    \next}  \def\makelink{\addtokens{\toksB}%    {\noexpand\pdflink{\the\toksC}}\toksC={}\global\countA=0}  \def\pdflink#1{%    \startlink attr{/Border [0 0 0]} goto name{\pdfmkpgn{#1}}    \setcolor{\linkcolor}#1\endlink}  \def\done{\edef\st{\global\noexpand\toksA={\the\toksB}}\st}\else  % non-pdf mode  \let\pdfmkdest = \gobble  \let\pdfurl = \gobble  \let\endlink = \relax  \let\setcolor = \gobble  \let\pdfsetcolor = \gobble  \let\pdfmakeoutlines = \relax\fi  % \ifx\pdfoutput\message{fonts,}% Change the current font style to #1, remembering it in \curfontstyle.% For now, we do not accumulate font styles: @b{@i{foo}} prints foo in% italics, not bold italics.%\def\setfontstyle#1{%  \def\curfontstyle{#1}% not as a control sequence, because we are \edef'd.  \csname ten#1\endcsname  % change the current font}% Select #1 fonts with the current style.%\def\selectfonts#1{\csname #1fonts\endcsname \csname\curfontstyle\endcsname}\def\rm{\fam=0 \setfontstyle{rm}}\def\it{\fam=\itfam \setfontstyle{it}}\def\sl{\fam=\slfam \setfontstyle{sl}}\def\bf{\fam=\bffam \setfontstyle{bf}}\def\bfstylename{bf}\def\tt{\fam=\ttfam \setfontstyle{tt}}% Unfortunately, we have to override this for titles and the like, since% in those cases "rm" is bold.  Sigh.\def\rmisbold{\rm\def\curfontstyle{bf}}% Texinfo sort of supports the sans serif font style, which plain TeX does not.% So we set up a \sf.\newfam\sffam\def\sf{\fam=\sffam \setfontstyle{sf}}\let\li = \sf % Sometimes we call it \li, not \sf.% We don't need math for this font style.\def\ttsl{\setfontstyle{ttsl}}% Default leading.\newdimen\textleading  \textleading = 13.2pt% Set the baselineskip to #1, and the lineskip and strut size% correspondingly.  There is no deep meaning behind these magic numbers% used as factors; they just match (closely enough) what Knuth defined.%\def\lineskipfactor{.08333}\def\strutheightpercent{.70833}\def\strutdepthpercent {.29167}%% can get a sort of poor man's double spacing by redefining this.\def\baselinefactor{1}%\def\setleading#1{%  \dimen0 = #1\relax  \normalbaselineskip = \baselinefactor\dimen0  \normallineskip = \lineskipfactor\normalbaselineskip  \normalbaselines  \setbox\strutbox =\hbox{%    \vrule width0pt height\strutheightpercent\baselineskip                    depth \strutdepthpercent \baselineskip  }%}% PDF CMaps.  See also LaTeX's t1.cmap.%% do nothing with this by default.\expandafter\let\csname cmapOT1\endcsname\gobble\expandafter\let\csname cmapOT1IT\endcsname\gobble\expandafter\let\csname cmapOT1TT\endcsname\gobble% if we are producing pdf, and we have \pdffontattr, then define cmaps.% (\pdffontattr was introduced many years ago, but people still run% older pdftex's; it's easy to conditionalize, so we do.)\ifpdf \ifx\pdffontattr\undefined \else  \begingroup