Re: [PATCH] Remove duplicate entry in ./Documentation/Makefile
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 19, 2012, 18:22 UTC
- Message-ID
- <7vd2y5aom8.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1674037566.22743.1355940925216.JavaMail.ngmail@webmail07.arcor-online.net>
Thomas Ackermann <th.acker@arcor.de> writes:
Show 14 quoted lines
> Signed-off-by: Thomas Ackermann <th.acker@arcor.de> > --- > Documentation/Makefile | 1 - > 1 file changed, 1 deletion(-) > > diff --git a/Documentation/Makefile b/Documentation/Makefile > index 3615504..7df75d0 100644 > --- a/Documentation/Makefile > +++ b/Documentation/Makefile > @@ -31,7 +31,6 @@ SP_ARTICLES += howto/separating-topic-branches > SP_ARTICLES += howto/revert-a-faulty-merge > SP_ARTICLES += howto/recover-corrupted-blob-object > SP_ARTICLES += howto/rebuild-from-update-hook > -SP_ARTICLES += howto/rebuild-from-update-hook
Heh, good eyes. How did you spot it?
If not by eyeballing but with some mechanical process, did you spot any others?
> SP_ARTICLES += howto/rebase-from-internal-branch > SP_ARTICLES += howto/maintain-git > API_DOCS = $(patsubst %.txt,%,$(filter-out technical/api-index-skel.txt technical/api-index.txt, $(wildcard technical/api-*.txt)))