annotate man/mule/texinfo-jp.tex @ 76:c0c698873ce1 r20-0b33

Import from CVS: tag r20-0b33
author cvs
date Mon, 13 Aug 2007 09:05:10 +0200
parents 131b0175ea99
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
70
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
1 %% TeX macros to handle Japanese texinfo files for Egg
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
2 %% Modified by Satoru Tomura (tomura@etl.go.jp)
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
3 %% 92.7.8 modified for Mule Ver.0.9.5 by K.Handa <handa@etl.go.jp>
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
4 %% To detect type of jTeX and its version, the method
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
5 %% posted by Takafumi SAKURAI <sakurai@math.metro-u.ac.jp> is used.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
6 %% 92.9.30 modified for Mule Ver.0.9.6 by K.Handa <handa@etl.go.jp>
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
7 %% For unknown reason, \newif\ifNTTOLD should be before
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
8 %% \ifNTT.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
9 %% 93.4.29 modified for Mule Ver.0.9.7 by N.Hikichi <hikichi@sra.co.jp>
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
10
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
11 %% 92.7.8 by K.Handa
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
12 \newif\ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
13 \ifx\gtfam\undefined
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
14 \NTTtrue
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
15 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
16 \NTTfalse
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
17 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
18
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
19 \newif\ifNTTOLD
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
20 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
21 \ifx\jendlinetype\undefined
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
22 \NTTOLDtrue
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
23 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
24 \NTTOLDfalse
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
25 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
26 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
27 %% end of patch
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
28
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
29 %% TeX macros to handle Japanese texinfo files
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
30 %% 92/05/24 merged jtexinfo.tex (by H. Isozaki and N. Hikichi) into this
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
31 %% Created by Satoru Tomura (tomura@etl.go.jp)
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
32
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
33 \def\jtexinfoversion{1.03}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
34
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
35 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
36 \message{jtexinfo(NTT JTeX) package [Version \jtexinfoversion]:}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
37 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
38 \message{jtexinfo(ASCII JTeX) package [Version \jtexinfoversion]:}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
39 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
40 \message{}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
41
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
42
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
43
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
44 %% 日本語フォントに関する互換性
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
45 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
46 \kanjifiletype=20
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
47 \let\min=\dm\let\dg=\goth
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
48 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
49 \let\dm=\min\let\goth=\dg
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
50 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
51
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
52 %% 日本語フォントの定義
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
53 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
54 \ifNTTOLD % 92.7.8 by K.Handa
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
55 \jfont\tendm=dm10 scaled {\magstephalf}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
56 \jfont\tendg=dg10 scaled {\magstephalf}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
57 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
58 \jfont\tendm=dm10 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
59 \jfont\tendg=dg10 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
60 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
61 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
62 \font\tendm=min10 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
63 \font\tendg=goth10 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
64 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
65
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
66 %% Fonts for title
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
67 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
68 \jfont\titledm=dm12 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
69 \jfont\titledg=dg12 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
70 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
71 %\font\titledm=min12 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
72 \font\titledm=min10 scaled \magstep5
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
73 %\font\titledg=goth12 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
74 \font\titledg=goth10 scaled \magstep5
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
75 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
76
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
77 %% Fonts for indics and small examples
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
78 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
79 \jfont\inddm=dm9
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
80 \jfont\inddg=dg9
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
81 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
82 \font\inddm=min9
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
83 \font\inddg=goth9
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
84 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
85 \def\indexfonts{\let\it=\indit \let\sl=\indsl \let\bf=\indbf \let\rm=\indrm \let\dm=\inddm \let\dg=\inddg}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
86
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
87 %% Fonts for headings
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
88 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
89 \jfont\chapdm=dm12 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
90 \jfont\chapdg=dg12 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
91 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
92 %\font\chapdm=min12 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
93 \font\chapdm=min10 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
94 %\font\chapdg=goth12 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
95 \font\chapdg=goth10 scaled \magstep3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
96 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
97
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
98 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
99 \jfont\secdm=dm12 scaled \magstep1
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
100 \jfont\secdg=dg12 scaled \magstep1
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
101 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
102 %\font\secdm=min12 scaled \magstep1
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
103 \font\secdm=min10 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
104 %\font\secdg=goth12 scaled \magstep1
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
105 \font\secdg=goth10 scaled \magstep2
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
106 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
107
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
108 \ifNTT
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
109 \ifNTTOLD % 92.7.8 by K.Handa
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
110 \jfont\ssecdm=dm12 scaled {\magstephalf}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
111 \jfont\ssecdg=dg12 scaled {\magstephalf}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
112 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
113 \jfont\ssecdm=dm12 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
114 \jfont\ssecdg=dg12 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
115 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
116 \else
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
117 %\font\ssecdm=min12 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
118 \font\ssecdm=min10 at 13pt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
119 %\font\ssecdg=goth12 scaled \magstephalf
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
120 \font\ssecdg=goth10 at 13pt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
121 \fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
122
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
123 \def\textfonts{\let\rm=\tenrm\let\it=\tenit\let\sl=\tensl\let\bf=\tenbf\let\smallcaps=\tensc\let\sf=\tensf%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
124 \let\dm=\tendm\let\dg=\tendg\dm}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
125 \def\chapfonts{\let\rm=\chaprm\let\it=\chapit\let\sl=\chapsl\let\bf=\chapbf\let\tt=\chaptt\let\sf=\chapsf%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
126 \let\dm=\chapdm\let\dg=\chapdg\dg}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
127 \def\secfonts{\let\rm=\secrm\let\it=\secit\let\sl=\secsl\let\bf=\secbf\let\tt=\sectt\let\sf=\secsf%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
128 \let\dm=\secdm\let\dg=\secdg\dg}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
129 \def\subsecfonts{\let\rm=\ssecrm\let\it=\ssecit\let\sl=\ssecsl\let\bf=\ssecbf\let\tt=\ssectt\let\sf=\ssecsf%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
130 \let\dm=\ssecdm\let\dg=\ssecdg\dm}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
131
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
132 \def\i#1{{\sl\dg #1}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
133 \def\b#1{{\bf\dg #1}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
134
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
135 \def\titlefont#1{{\titlerm\titledg #1}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
136
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
137 % インデックスにソートキーを[]で指定する.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
138 \def\Jempty{}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
139 \def\singleindexer #1{\singleindexerB#1[]\singleindexerA}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
140 % 93.4.29 by N.Hikichi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
141 % \def\singleindexerB#1[#2]{\edef\Jone{#1}\edef\Jtwo{#2}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
142 \def\singleindexerB#1[#2]{\def\Jone{#1}\def\Jtwo{#2}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
143 \ifx\Jempty\Jtwo\let\Jnext=\relax\let\singleindexerA=\singleindexerD%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
144 \else\let\Jnext=\singleindexerC\let\singleindexerA=\singleindexerE\fi%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
145 \Jnext}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
146 \def\singleindexerC#1[]{}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
147 \def\singleindexerD{\doind{\indexname}{\Jone}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
148 \def\singleindexerE{\Jdoind{\indexname}{\Jone}{\Jtwo}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
149
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
150 \def\Jdoind #1#2#3{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
151 {\indexdummies % Must do this here, since \bf, etc expand at this stage
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
152 \count10=\lastpenalty %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
153 \escapechar=`\\%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
154 {\let\folio=0% Expand all macros now EXCEPT \folio
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
155 \def\rawbackslashxx{\indexbackslash}% \indexbackslash isn't defined now
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
156 % so it will be output as is; and it will print as backslash in the indx.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
157 %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
158 % Now process the index-string once, with all font commands turned off,
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
159 % to get the string to sort the index by.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
160 {\indexnofonts
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
161 \xdef\temp1{#3}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
162 }%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
163 % Now produce the complete index entry. We process the index-string again,
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
164 % this time with font commands expanded, to get what to print in the index.
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
165 \edef\temp{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
166 \write \csname#1indfile\endcsname{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
167 \realbackslash entry {\temp1}{\folio}{#2}}}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
168 \temp }%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
169 \penalty\count10}}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
170
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
171 \outer\def\initial #1{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
172 {\let\tentt=\sectt \let\sf=\sectt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
173 \let\dm=\secdm\let\dg=\secdg\dg%%***
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
174 \ifdim\lastskip<\initialskipamount
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
175 \removelastskip \penalty-200 \vskip \initialskipamount\fi
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
176 \line{\secbf\secdg#1\hfill}\kern 2pt\penalty3000}}%%***
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
177
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
178 % 非互換な日本語化部分
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
179
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
180 %%%\def\inforefzzz #1,#2,#3,#4**{See Info file \file{\losespace#3{}}, node `\losespace#1{}'}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
181 \def\inforefzzz #1,#2,#3,#4**{Info ファイル \file{\losespace#3{}},node `\losespace#1{}' 参照}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
182
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
183 %%%\def\pxref #1{see \xrefX [#1,,,,,,,]}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
184 %%%\def\xref #1{See \xrefX [#1,,,,,,,]}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
185 \def\pxref #1{\xrefX [#1,,,,,,,] 参照}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
186 \def\xref #1{\xrefX [#1,,,,,,,] 参照}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
187
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
188 %%\def\xrefX [#1,#2,#3,#4,#5,#6]{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
189 %%\setbox1=\hbox{\i{\losespace#5{}}}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
190 %%\setbox0=\hbox{\losespace#3{}}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
191 %%\ifdim \wd0 =0pt \setbox0=\hbox{\losespace#1{}}\fi%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
192 %%\ifdim \wd1 >0pt%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
193 %%section \unhbox0{} in \unhbox1%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
194 %%\else%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
195 %%\refx{#1-snt} [\unhbox0], page\tie \refx{#1-pg}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
196 %%\fi }
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
197 \def\xrefX [#1,#2,#3,#4,#5,#6]{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
198 \setbox1=\hbox{\i{\losespace#5{}}}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
199 \setbox0=\hbox{\losespace#3{}}%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
200 \ifdim \wd0 =0pt \setbox0=\hbox{\losespace#1{}}\fi%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
201 \ifdim \wd1 >0pt%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
202 \unhbox1 の \unhbox0{} 節%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
203 \else%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
204 \refx{#1-snt} [\unhbox0], \tie \refx{#1-pg} 頁%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
205 \fi }
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
206
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
207 %%\def\Ysectionnumberandtype{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
208 %%\ifnum\secno=0 chapter\xreftie\the\chapno %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
209 %%\else \ifnum \subsecno=0 section\xreftie\the\chapno.\the\secno %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
210 %%\else \ifnum \subsubsecno=0 %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
211 %%section\xreftie\the\chapno.\the\secno.\the\subsecno %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
212 %%\else %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
213 %%section\xreftie\the\chapno.\the\secno.\the\subsecno.\the\subsubsecno %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
214 %%\fi \fi \fi }
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
215
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
216 \def\Ysectionnumberandtype{%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
217 \ifnum\secno=0 \xreftie\the\chapno 章%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
218 \else \ifnum \subsecno=0 \xreftie\the\chapno.\the\secno 節%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
219 \else \ifnum \subsubsecno=0 %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
220 \xreftie\the\chapno.\the\secno.\the\subsecno 小節%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
221 \else %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
222 \xreftie\the\chapno.\the\secno.\the\subsecno.\the\subsubsecno 小々節%
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
223 \fi \fi \fi }
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
224
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
225 %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
226 % A4 size(Japanese) define, top margin = 20, bottom margin = 21,
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
227 % left margin = 30, right margin = 15
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
228 %
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
229 \def\a4book{
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
230 \global\lispnarrowing = 0.3in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
231 \global\baselineskip 12pt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
232 \global\parskip 3pt plus 1pt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
233
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
234 % for @cropmarks
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
235 %\global\hsize = 6.5in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
236 % without @cropmarks
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
237 \global\hsize = 6.7in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
238
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
239 \global\doublecolumnhsize=2.4in \global\doublecolumnvsize=15.0in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
240 \global\vsize=9.8in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
241 \global\tolerance=700
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
242 \global\hfuzz=1pt
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
243
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
244 \global\pagewidth=\hsize
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
245 \global\pageheight=\vsize
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
246 \global\font\ninett=cmtt9
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
247
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
248 \global\let\smalllisp=\smalllispx
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
249 \global\let\smallexample=\smalllispx
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
250 \global\def\Esmallexample{\Esmalllisp}
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
251
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
252 % for @cropmarks
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
253 %\global\voffset = -1.0in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
254 %\global\hoffset = -0.2in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
255
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
256 % without @cropmarks
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
257 \global\voffset = 0.0in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
258 %\global\hoffset = -1.0in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
259 \global\hoffset = -0.2in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
260 }
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
261