'xrdef {top-pg}{2}
'xrdef {top-snt}{chapter'tie1}
'xrdef {info-pg}{2}
'xrdef {info-snt}{section'tie1.1}
'xrdef {commands-pg}{3}
'xrdef {commands-snt}{section'tie1.2}
'xrdef {make-info-pg}{27}
'xrdef {make-info-snt}{section'tie1.10}
'xrdef {manual-pg}{27}
'xrdef {manual-snt}{section'tie1.11}