gdb/doc/psrc.sed

   1 /font defs: ---/,/end font defs ---/c\
   2 %-------------------- PostScript (K Berry names) font defs: --------------\
   3 \\font\\bbf=ptmb at 10pt\
   4 \\font\\vbbf=ptmb at 12pt\
   5 \\font\\smrm=ptmr at 6pt\
   6 \\font\\brm=ptmr at 10pt\
   7 \\font\\rm=ptmr at 8pt\
   8 \\font\\it=ptmri at 8pt\
   9 \\font\\tt=pcrr at 8pt\
  10 % Used only for \copyright, replacing plain TeX macro.\
  11 \\font\\sym=psyr at 7pt\
  12 \\def\\copyright{{\\sym\\char'323}}\
  13 %-------------------- end font defs ---------------------------------