diff options
Diffstat (limited to 'doc/assuan.texi')
| -rw-r--r-- | doc/assuan.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/assuan.texi b/doc/assuan.texi index b029d1f..a20ea27 100644 --- a/doc/assuan.texi +++ b/doc/assuan.texi @@ -55,7 +55,8 @@ section entitled ``Copying''. @c Change the font used for @def... commands, since the default @c proportional one used is bad for names starting __. @tex -\global\setfont\defbf\ttbshape{10}{\magstep1} +\gdef\mysetfont#1#2#3#4{\font#1=\fontprefix#2#3 scaled #4} +\global\mysetfont\defbf\ttbshape{10}{\magstep1} @end tex @c %**end of header |