diff options
| -rwxr-xr-x | dist-tools/manServer.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist-tools/manServer.pl b/dist-tools/manServer.pl index 08d17324..7b968117 100755 --- a/dist-tools/manServer.pl +++ b/dist-tools/manServer.pl @@ -2476,6 +2476,7 @@ sub initialise open(MACRO, "/usr/lib/groff/tmac/tmac.an") || open(MACRO, "/usr/lib/groff/tmac/an.tmac") || open(MACRO, "/usr/share/tmac/tmac.an") || + open(MACRO, "/usr/share/tmac/an.tmac") || open(MACRO, "/usr/share/groff/tmac/tmac.an") || open(MACRO, "/usr/share/groff/tmac/an.tmac") || open(MACRO, "/usr/share/groff/$groffver/tmac/an.tmac") ) |