Re: [PATCH 12/13] Documentation/Makefile: update git guide links
From: Philip Oakley <hidden>
Date: 2016-06-15 22:56:15
On 25/02/13 05:29, Junio C Hamano wrote:
Philip Oakley [off-list ref] writes:quoted
@@ -35,6 +37,8 @@ MAN_XML=$(patsubst %.txt,%.xml,$(MAN_TXT)) MAN_HTML=$(patsubst %.txt,%.html,$(MAN_TXT)) OBSOLETE_HTML = git-remote-helpers.html +OBSOLETE_HTML = everyday.html +OBSOLETE_HTML = user-manual.html DOC_HTML=$(MAN_HTML) $(OBSOLETE_HTML)If you are keeping track of inventory of "guides" in a new static array, do you still need to look up "giteveryday" or "gituser-manual" when the user asks for guide documents?
I'm only keeping track in the new static array of the 'common guides' and I'd hoped that these two could be included.
In other words, can't you change the side that launches the document viewer so that we do not have to rename anything in the first place?
The current help code will only show either 'git-<cmd>' man pages, or 'git<guide>' pages so the current everyday and user-manual pages aren't served by the existing help code. $ git help everyday No manual entry for giteveryday Hence the need for the rename and 'obsolete page' entries. I'm guessing that serving any old .txt or .html page from the Documentation directories isn't sensible (rather than being prefix based), but it is a possibility. Philip