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