diff options
| author | nbehrnd <[email protected]> | 2022-11-04 18:11:12 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-11-04 10:11:12 -0700 |
| commit | aaac5eb7ecb96850093872c9c9607742936bebf3 (patch) | |
| tree | 4ff5384ac231979ad017120ee8d0690e27c189cd /data | |
| parent | 0eda40c93a361142ac2f2ce45de308bc0f5649fb (diff) | |
clarify font selection for pdf -t ms (#8421)
Previous versions of the documentation did not clarify much which
options of font selection are available for the generation of .pdf
via `-t ms`. Nor was there a description how to extend the set of
of fonts provided by ghostscript/pdfgroff. This commit equally
hints to Peter Schaffter's script install-fonts.sh to facilitate
greatly the later, too.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions