diff options
Diffstat (limited to 'gdb/doc/psrc.sed')
| -rw-r--r-- | gdb/doc/psrc.sed | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gdb/doc/psrc.sed b/gdb/doc/psrc.sed deleted file mode 100644 index 9bb557e..0000000 --- a/gdb/doc/psrc.sed +++ /dev/null @@ -1,13 +0,0 @@ -/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 --------------------------------- |