diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-05-14 15:44:13 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 23:27:34 +0200 |
commit | 71fc96dbffa070ec0252d1b04bd715373d209cb6 (patch) | |
tree | e50e2e02439a5de3a56b85c9576f68d423abc278 /manual/manual.tex | |
parent | 0cc0277953615c28cd8c99bfe7928174154af752 (diff) |
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
===================================================================
Gbp-Pq: Name switch-to-free-font.patch
Diffstat (limited to 'manual/manual.tex')
-rw-r--r-- | manual/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual.tex b/manual/manual.tex index 67982cbc..b2747927 100644 --- a/manual/manual.tex +++ b/manual/manual.tex @@ -2,7 +2,7 @@ \usepackage[T1]{fontenc} % required for luximono! \usepackage{lmodern} -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face +\usepackage[scaled=0.8]{inconsolata} % typewriter font with bold face % To install the luximono font files: % getnonfreefonts-sys --all or |