[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] colorized man pages
From: |
John Gardner |
Subject: |
Re: [Groff] colorized man pages |
Date: |
Sat, 27 Aug 2016 17:51:29 +1000 |
Hi Peter,
That does look useful, thanks!
On an unrelated note, the changes to Roff's syntax highlighting that I
mentioned a few weeks ago are now live on GitHub.
On 27 August 2016 at 02:05, Peter Schaffter <address@hidden> wrote:
> 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, 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, 2016/08/26
- Re: [Groff] colorized man pages,
John Gardner <=
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26
- Re: [Groff] colorized man pages, James K. Lowden, 2016/08/26