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