mirror of
https://github.com/darlinghq/darling-gdb.git
synced 2024-12-12 14:37:43 +00:00
14 lines
526 B
Sed
14 lines
526 B
Sed
/font defs: ---/,/end font defs ---/c\
|
|
%-------------------- PostScript (long names) font defs: -----------------\
|
|
\\font\\bbf=Times-Bold at 10pt\
|
|
\\font\\vbbf=Times-Bold at 12pt\
|
|
\\font\\smrm=Times-Roman at 6pt\
|
|
\\font\\brm=Times-Roman at 10pt\
|
|
\\font\\rm=Times-Roman at 8pt\
|
|
\\font\\it=Times-Italic at 8pt\
|
|
\\font\\tt=Courier at 8pt\
|
|
% Used only for \copyright, replacing plain TeX macro.\
|
|
\\font\\sym=Symbol at 7pt\
|
|
\\def\\copyright{{\\sym\\char'323}}\
|
|
%-------------------- end font defs ---------------------------------
|