diff options
Diffstat (limited to 'gdb/doc/psrc.sed')
| -rw-r--r-- | gdb/doc/psrc.sed | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gdb/doc/psrc.sed b/gdb/doc/psrc.sed new file mode 100644 index 00000000000..9bb557eae21 --- /dev/null +++ b/gdb/doc/psrc.sed @@ -0,0 +1,13 @@ +/font defs: ---/,/end font defs ---/c\ +%-------------------- PostScript (K Berry names) font defs: --------------\ +\\font\\bbf=ptmb at 10pt\ +\\font\\vbbf=ptmb at 12pt\ +\\font\\smrm=ptmr at 6pt\ +\\font\\brm=ptmr at 10pt\ +\\font\\rm=ptmr at 8pt\ +\\font\\it=ptmri at 8pt\ +\\font\\tt=pcrr at 8pt\ +% Used only for \copyright, replacing plain TeX macro.\ +\\font\\sym=psyr at 7pt\ +\\def\\copyright{{\\sym\\char'323}}\ +%-------------------- end font defs --------------------------------- |