diff options
author | Roland Pesch <pesch@cygnus> | 1991-08-01 22:39:43 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1991-08-01 22:39:43 +0000 |
commit | 7bfa94e296e984df8440f7af6d1764d27016bbc8 (patch) | |
tree | 5fa46c6758dae02c9b7c147e8f8fa09b41d4f1dd /gdb/doc/rc-ps.tex | |
parent | e961483fd792cc3a1b906ab6972f644661e1a6fb (diff) | |
download | gdb-7bfa94e296e984df8440f7af6d1764d27016bbc8.zip gdb-7bfa94e296e984df8440f7af6d1764d27016bbc8.tar.gz gdb-7bfa94e296e984df8440f7af6d1764d27016bbc8.tar.bz2 |
*** empty log message ***
Diffstat (limited to 'gdb/doc/rc-ps.tex')
-rwxr-xr-x | gdb/doc/rc-ps.tex | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gdb/doc/rc-ps.tex b/gdb/doc/rc-ps.tex new file mode 100755 index 0000000..1a0e970 --- /dev/null +++ b/gdb/doc/rc-ps.tex @@ -0,0 +1,30 @@ +% $Id$ +% To choose PS fonts (Karl Berry TeX fontnames) for the refcard, link +% or copy this file to rcfonts.tex +% +%The Times-Roman family is both more attractive and more compact than +%Computer Modern. On the other hand, while common, it is not free. +%There are three sets of font definitions: +% 1) rc-cm.tex uses the free (Computer Modern) fonts +% 2) rc-ps.tex uses common PostScript fonts, with fontnames from the +% Karl Berry scheme recommended in the documentation for dvips. +% 3) rc-pslong.tex uses common PostScript fonts, with the long names +% used by PostScript programs directly. +% +% One caution: due to differing character ordering between TeX and PS, +%if your TeX is pre-3.0, or if you don't have virtual Courier +%matching the TeX character positions, you might want to use CMtt for +%\tt even if you switch to PostScript fonts for the rest of the text. +% +%-------------------- PostScript fonts (K Berry names) -------------- +\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 --------------------------------- |