Skip to content

[v9_16] Resolve "manual page tools need updating."

Michal Nowak requested to merge 2097-manual-page-tools-need-updating-v9_16 into v9_16

This adds pandoc and w3m as they are still needed for v9_16, but were not configured.

The rest are regenerated text files and a man page.

Closes #2097 (closed)

Edited by Michal Nowak

Merge request reports