diff options
| author | Roland Pesch <pesch@cygnus> | 1992-01-15 23:09:45 +0000 |
|---|---|---|
| committer | Roland Pesch <pesch@cygnus> | 1992-01-15 23:09:45 +0000 |
| commit | 228d9e54790729d945e0457f8510d2fe8183ca3c (patch) | |
| tree | c94fd2aea6b3a8eec334bd2610057ab7ad4162c4 /gdb/doc/lpsrc.sed | |
| parent | 63ae8ea1ece780ca9672f9a60a57fd56ef55876f (diff) | |
| download | gdb-228d9e54790729d945e0457f8510d2fe8183ca3c.zip gdb-228d9e54790729d945e0457f8510d2fe8183ca3c.tar.gz gdb-228d9e54790729d945e0457f8510d2fe8183ca3c.tar.bz2 | |
refcard.tex: single file now includes what were formerly three files, to suit
FSF preferences (format definitions, nee threecol.tex, and
default font defs, nee rc-cm.tex, now both directly in this file).
lpsrc.sed, psrc.sed: alternate font defs, now sed scripts to modify refcard.tex
Makefile.in: use sed -f psrc.sed to produce refcard.ps target; new
target lrefcard.ps for sites using long PS font names
Removed old auxiliary TeX files, no longer necessary with this scheme.
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 0000000..1c7af4a --- /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 --------------------------------- |