[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] colorized man pages
From: |
Peter Schaffter |
Subject: |
Re: [Groff] colorized man pages |
Date: |
Fri, 26 Aug 2016 12:05:11 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
John --
On Fri, Aug 26, 2016, John Gardner wrote:
> Apropos of fonts, does anybody know of a script that offers a one-step
> approach for efficiently converting fonts for use in Groff typesetting?
Check out install-font.sh at
http://www.schaffter.ca/mom/mom-06.html#install-font
It's a bash script that does conversions from Type1, TrueType, and
OTF. It assumes you have fontforge installed. The script is #!/bin/bash
not #!/bin/sh.
--
Peter Schaffter
http://www.schaffter.ca
- Re: [Groff] colorized man pages, (continued)
- Re: [Groff] colorized man pages, Steffen Nurpmeso, 2016/08/24
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/24
- Re: [Groff] colorized man pages, Steffen Nurpmeso, 2016/08/24
- Re: [Groff] colorized man pages, Tadziu Hoffmann, 2016/08/24
- Re: [Groff] colorized man pages, Peter Schaffter, 2016/08/25
- Re: [Groff] colorized man pages, Russell Hyer, 2016/08/25
- Re: [Groff] colorized man pages, John Gardner, 2016/08/25
- Re: [Groff] colorized man pages, Ralph Corderoy, 2016/08/26
- Re: [Groff] colorized man pages, John Gardner, 2016/08/26
- Re: [Groff] colorized man pages, Ralph Corderoy, 2016/08/26
- Re: [Groff] colorized man pages,
Peter Schaffter <=
- Re: [Groff] colorized man pages, John Gardner, 2016/08/27
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26