diff options
| author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-02-27 20:31:10 +1100 |
|---|---|---|
| committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2022-03-02 02:03:44 +1100 |
| commit | b225d5e4f48bb1e29589901fe7dbd6e805e8146d (patch) | |
| tree | 929296f3f42b8adcc321518e9aab328016524786 /LICENSES | |
| parent | f2f12a4beb88b8b19c03e04ffb6e1116c4929207 (diff) | |
| download | groff-git-b225d5e4f48bb1e29589901fe7dbd6e805e8146d.tar.gz | |
Rename and ship "FontMap-X11".
xtotroff(1) is not very useful without a font name mapping file to read.
To date it has been available only in the source distribution. Remedy
that. The file is placed directly in the groff font directory alongside
the device directories because it applies to four different devices, and
four copies of this data are not required.
* src/devices/xditview/FontMap: Rename to...
* src/devices/xditview/FontMap-X11: ...this.
* LICENSES:
* src/devices/xditview/xditview.am (EXTRA_DIST): Reflect rename.
* src/devices/xditview/xditview.am (install_xditview [!WITHOUT_X11],
uninstall_xtdiview): (Un)-install it.
* src/utils/xtotroff/xtotroff.1.man (Files): Add section documenting the
presence and purpose of this file.
Diffstat (limited to 'LICENSES')
| -rw-r--r-- | LICENSES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ hasn't been assigned to the FSF). src/devices/xditview/Dvi.c src/devices/xditview/Dvi.h src/devices/xditview/DviP.h - src/devices/xditview/FontMap + src/devices/xditview/FontMap-X11 src/devices/xditview/GXditview.ad src/devices/xditview/Menu.h src/devices/xditview/ad2c |