mirror of
https://github.com/darlinghq/darling-gdb.git
synced 2024-11-26 13:30:30 +00:00
228d9e5479
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.
14 lines
481 B
Sed
14 lines
481 B
Sed
/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 ---------------------------------
|