gbranden pushed a commit to branch master in repository groff. commit 43d05c675db5b7ec33850b81ac262046baa75a51 Author: G. Branden Robinson <g.branden.robin...@gmail.com> AuthorDate: Mon Nov 9 23:54:55 2020 +1100
pdfroff(1): Update man page cross-references. --- contrib/pdfmark/pdfroff.1.man | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/contrib/pdfmark/pdfroff.1.man b/contrib/pdfmark/pdfroff.1.man index c8f4153..f790ba4 100644 --- a/contrib/pdfmark/pdfroff.1.man +++ b/contrib/pdfmark/pdfroff.1.man @@ -645,10 +645,11 @@ then searches the process .IR PATH , looking for any of the preferred programs, -\[oq]gawk\[cq], -\[oq]mawk\[cq], -\[oq]nawk\[cq], -and \[oq]awk\[cq], +.IR gawk , +.IR mawk , +.IR nawk , +and +.IR awk , in that order; if none of these are found, .I pdfroff _______________________________________________ Groff-commit mailing list Groff-commit@gnu.org https://lists.gnu.org/mailman/listinfo/groff-commit