diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-16 11:42:14 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-16 11:44:05 +0100 |
| commit | 77c01f6caa7cd6709d8323e760896f16b37a3fd5 (patch) | |
| tree | 41f482bb9bb57e47c5570f0bd9e0b5a03333f126 /Makefile | |
| parent | 384339108b4b55fd43ad605da0aaea0f3f207053 (diff) | |
Allow fragments in man: URLs
When linking to an specific section of a manual by using the #<frag>
fragment, we need to remove it before passing it to man(1), otherwise it
will be interpreted as part of the manual page name.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions