* [PATCH] Documentation: Strip texinfo anchors to avoid duplicates
@ 2013-04-03 19:54 Martin von Gagern
2013-04-03 20:07 ` Junio C Hamano
0 siblings, 1 reply; 3+ messages in thread
From: Martin von Gagern @ 2013-04-03 19:54 UTC (permalink / raw)
To: git; +Cc: gitster, Martin von Gagern
This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210.
Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net>
---
Documentation/cat-texi.perl | 1 +
1 file changed, 1 insertion(+)
diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl
index dbc133c..b52660d 100755
--- a/Documentation/cat-texi.perl
+++ b/Documentation/cat-texi.perl
@@ -12,6 +12,7 @@ while (<STDIN>) {
push @menu, $1;
}
s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
+ s/\@anchor\{[^{}]*\}//g;
print TMP;
}
close TMP;
--
1.8.1.5
^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates
2013-04-03 19:54 [PATCH] Documentation: Strip texinfo anchors to avoid duplicates Martin von Gagern
@ 2013-04-03 20:07 ` Junio C Hamano
2013-04-03 21:08 ` Martin von Gagern
0 siblings, 1 reply; 3+ messages in thread
From: Junio C Hamano @ 2013-04-03 20:07 UTC (permalink / raw)
To: Martin von Gagern; +Cc: git
Martin von Gagern <Martin.vGagern@gmx.net> writes:
> This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210.
I see why duplicates are bad, but does that mean not having any is
better?
>
> Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net>
> ---
> Documentation/cat-texi.perl | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl
> index dbc133c..b52660d 100755
> --- a/Documentation/cat-texi.perl
> +++ b/Documentation/cat-texi.perl
> @@ -12,6 +12,7 @@ while (<STDIN>) {
> push @menu, $1;
> }
> s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
> + s/\@anchor\{[^{}]*\}//g;
> print TMP;
> }
> close TMP;
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates
2013-04-03 20:07 ` Junio C Hamano
@ 2013-04-03 21:08 ` Martin von Gagern
0 siblings, 0 replies; 3+ messages in thread
From: Martin von Gagern @ 2013-04-03 21:08 UTC (permalink / raw)
To: Junio C Hamano; +Cc: git
[-- Attachment #1: Type: text/plain, Size: 1050 bytes --]
On 03.04.2013 22:07, Junio C Hamano wrote:
> I see why duplicates are bad, but does that mean not having any is
> better?
I'd say yes: duplicate anchors cause current versions of texinfo to
reject the document outright, and older versions will likely cause a
broken interpretation of any anchor names.
What are possible scenarios where anchors could be useful?
a) Internal cross reference. I'm not sure whether texinfo checks for
broken internal links. If it does, it did not report any.
b) Goto command issued by the user. I suppose most users would be happy
with node-level navigation, and not use it for navigation to
sub-node sections.
c) URLs in bookmarks or mails. I suppose people are more likely to use
the html documents built by asciidoc, instead of a version
constructed from the texinfo document. So not our issue.
Did I miss a relevant use case?
Automatically (or even manually?) generated unique names might be better
than none. But I'm not sure they are worth the trouble.
Martin von Gagern
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 263 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2013-04-03 21:09 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-04-03 19:54 [PATCH] Documentation: Strip texinfo anchors to avoid duplicates Martin von Gagern
2013-04-03 20:07 ` Junio C Hamano
2013-04-03 21:08 ` Martin von Gagern
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).