GNU bug report logs -
#50363
[PATCH] Improve default diff hunk header detection.
Previous Next
Reported by: Sarah Morgensen <iskarian <at> mgsn.dev>
Date: Fri, 3 Sep 2021 22:40:01 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
Message #39 received at 50363-done <at> debbugs.gnu.org (full text, mbox):
Hi Sarah,
Sarah Morgensen <iskarian <at> mgsn.dev> skribis:
>> I have one last question:
>>
>>> +format-patch} sent to the @email{guix-patches@@gnu.org} mailing list
>>> +(@pxref{submitting patches,, Submitting patches to a project, git, Git
>>> +User Manual}). Contributors are encouraged to take a moment to set some
>>
>> AFAICS, there’s no Info-format Git manual, is there? In that case, the
>> pxref above is incorrect, but we can use @uref instead and/or suggest
>> ‘man git’ or similar.
>
> We don't currently build it, but there is. In the git repo, in
> Documentation/Makefile:
>
> info: git.info gitman.info
> [...]
> git.info: user-manual.texi
> $(QUIET_MAKEINFO)$(MAKEINFO) --no-split -o $@ user-manual.texi
>
> It's available online at
>
> https://git-scm.com/docs/user-manual
>
> and
>
> https://mirrors.edge.kernel.org/pub/software/scm/git/docs/user-manual.html
>
> My other patch, #50683, adds this reference to htmlxref.cnf.
Oh, nice; thanks for explaining.
Finally applied!
Ludo’.
This bug report was last modified 3 years and 219 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.