diff options
-rw-r--r-- | debian/patches/switch-to-free-font.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debian/patches/switch-to-free-font.patch b/debian/patches/switch-to-free-font.patch index 62025b00..052c9514 100644 --- a/debian/patches/switch-to-free-font.patch +++ b/debian/patches/switch-to-free-font.patch @@ -1,6 +1,6 @@ From: Sebastian Kuzminsky <seb@highlab.com> Date: Sat, 14 May 2016 15:44:13 +0200 -Subject: Switch the yosys manual font from luximono (non-free) to libertine +Subject: Switch the yosys manual font from luximono (non-free) to inconsolata (free) =================================================================== @@ -21,7 +21,7 @@ index 0ecdf61..fe0fbe6 100644 \usepackage[T1]{fontenc} % required for luximono! -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face -+\usepackage[scaled=0.8]{libertine} % 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 @@ -34,7 +34,7 @@ index 9780c78..7096d9c 100644 \usepackage[T1]{fontenc} % required for luximono! -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face -+\usepackage[scaled=0.8]{libertine} % 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 @@ -47,7 +47,7 @@ index 245a6b0..9d2e5db 100644 \usepackage[T1]{fontenc} % required for luximono! -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face -+\usepackage[scaled=0.8]{libertine} % 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 @@ -60,7 +60,7 @@ index ecc7e4c..f4e1eae 100644 \usepackage[T1]{fontenc} % required for luximono! \usepackage{lmodern} -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face -+\usepackage[scaled=0.8]{libertine} % 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 @@ -73,7 +73,7 @@ index 63b963b..54f24a9 100644 \usepackage[T1]{fontenc} % required for luximono! \usepackage{lmodern} -\usepackage[scaled=0.8]{luximono} % typewriter font with bold face -+\usepackage[scaled=0.8]{libertine} % 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 |