'xrdef {bin2h-title}{bin2h}
'xrdef {bin2h-pg}{3}
'xrdef {bin2h-snt}{Chapter'tie1}
'xrdef {djecho-title}{djecho}
'xrdef {djecho-pg}{5}
'xrdef {djecho-snt}{Chapter'tie2}
'xrdef {djtar-title}{djtar}
'xrdef {djtar-pg}{7}
'xrdef {djtar-snt}{Chapter'tie3}
'xrdef {dtou-title}{dtou}
'xrdef {dtou-pg}{11}
'xrdef {dtou-snt}{Chapter'tie4}
'xrdef {utod-title}{utod}
'xrdef {utod-pg}{13}
'xrdef {utod-snt}{Chapter'tie5}
'xrdef {gxx-title}{gxx}
'xrdef {gxx-pg}{15}
'xrdef {gxx-snt}{Chapter'tie6}
'xrdef {redir-title}{redir}
'xrdef {redir-pg}{17}
'xrdef {redir-snt}{Chapter'tie7}
'xrdef {djsplit-title}{djsplit}
'xrdef {djsplit-pg}{19}
'xrdef {djsplit-snt}{Chapter'tie8}
'xrdef {djmerge-title}{djmerge}
'xrdef {djmerge-pg}{21}
'xrdef {djmerge-snt}{Chapter'tie9}
'xrdef {texi2ps-title}{texi2ps}
'xrdef {texi2ps-pg}{23}
'xrdef {texi2ps-snt}{Chapter'tie10}
'xrdef {update-title}{update}
'xrdef {update-pg}{25}
'xrdef {update-snt}{Chapter'tie11}