Searched refs:mandoc_args (Results 1 – 1 of 1) sorted by relevance
388 mandoc_args="-O width=${use_width}"392 pipeline="mandoc -Tps $mandoc_args"394 pipeline="mandoc $mandoc_args | $MANPAGER"