diff options
Diffstat (limited to 'graphics/pgf/base/doc/pgfmanual.cfg')
-rw-r--r-- | graphics/pgf/base/doc/pgfmanual.cfg | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/graphics/pgf/base/doc/pgfmanual.cfg b/graphics/pgf/base/doc/pgfmanual.cfg new file mode 100644 index 0000000000..289b8716fb --- /dev/null +++ b/graphics/pgf/base/doc/pgfmanual.cfg @@ -0,0 +1,21 @@ +% Copyright 2019 by Till Tantau +% +% This file may be distributed and/or modified +% +% 1. under the LaTeX Project Public License and/or +% 2. under the GNU Free Documentation License. +% +% See the file doc/generic/pgf/licenses/LICENSE for more details. + + +\usepackage[hyphens]{url} +\makeatletter +\g@addto@macro\selectfont{% + \long\edef\longf@family{\f@family}% + \ifx\longf@family\ttdefault + \ignoreligaturesinfont\font\relax + \fi +} +\makeatother + +% Just make sure to compile this using lualatex. |