[PATCH] hooks/pre-push: Use mandoc(1) to get HTML anchors to command-line options
17 Jan
2026
17 Jan
'26
3:56 p.m.
It looks like man2html(1) can only build links to sections, not to
TP elements.
Reported-by: Erik Sjölund
2
Age (days ago)
2
Last active (days ago)
0 comments
1 participants
participants (1)
-
Stefano Brivio