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