Re: [PATCH 12/13] Documentation/Makefile: update git guide links
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 25, 2013, 05:29 UTC
- Message-ID
- <7vd2vp3qru.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1361660761-1932-13-git-send-email-philipoakley@iee.org>
Philip Oakley <philipoakley@iee.org> writes:
Show 7 quoted lines
> @@ -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?
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?