[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #63768] want configurable URL format for man page hyperlinks
From: |
G. Branden Robinson |
Subject: |
[bug #63768] want configurable URL format for man page hyperlinks |
Date: |
Sat, 18 Feb 2023 02:05:44 -0500 (EST) |
Follow-up Comment #19, bug #63768 (project groff):
commit 3fa3ee08503f9509625deae3e9057f8b82f8067c (HEAD -> master,
origin/master, origin/HEAD)
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
Date: Sat Feb 18 00:52:58 2023 -0600
[man]: Tweak fix to Savannah #63768.
* tmac/an.tmac (MR): Ensure `an*url` always has a value, defaulting to
"format 1" (man:page(section)). Resequence the macOS URL formats to
sort the contemporary one before the others.
* tmac/man.local: Reflect resequencing of integer assignments to
formats. Clarify historicity of annotations.
Continues <https://savannah.gnu.org/bugs/?63768>. Thanks to John
Gardner for further discussion.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63768>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #63768] want configurable URL format for man page hyperlinks, (continued)
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/16
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks,
G. Branden Robinson <=