[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #62941] groff no longer warns about nonexistent font
|
From: |
Deri |
|
Subject: |
Re: [bug #62941] groff no longer warns about nonexistent font |
|
Date: |
Tue, 23 Aug 2022 12:57:51 +0100 |
On Tuesday, 23 August 2022 03:36:29 BST Dave wrote:
> * I discovered this when poking into bug #62934 (which I was ultimately
> unable to reproduce because I lacked the needed font).
Nikita used a font called TMR, could not reproduce with TinosR but found U-TR
did show the bug.
Cheers
Deri
- [bug #62941] groff no longer warns about nonexistent font, Dave, 2022/08/22
- [bug #62941] groff no longer warns about nonexistent font, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
Re: [bug #62941] groff no longer warns about nonexistent font,
Deri <=