Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jeff King writes: > On Fri, Feb 01, 2013 at 10:52:52AM -0800, Junio C Hamano wrote: > >> > 4. Replace the rename "gitfoo" above with a "see git-foo..." pointer. >> > Users of "git help foo" would not ever see this, but people who >> > have trained their fingers to type "man gitfoo" would, along with >> > anybody following an outdated HTML link. >> > >> > 5. Update internal references to "linkgit:gitfoo" to point to >> > "git-foo". >> > >> > Hmm. That really does not seem so bad. The biggest downside is the >> > people who have to see the redirect made in step 4. >> >> Yeah, I see that a show-stopper in the whole sequence. >> >> This is one of the "if we had perfect knowledge we would have >> designed it this way, and we could still migrate our current system >> to that ideal, but it is dubious the difference between the current >> system and the ideal will outweigh the cost of migration" moment, >> isn't it? > > Yeah, perhaps. I did the patch series just to see what the effort would > be like. But at this point I am fine if we drop it (it sounded like > Jonathan was in favor of this direction, so maybe he wants to make a > final argument). OK. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Fri, Feb 01, 2013 at 10:52:52AM -0800, Junio C Hamano wrote: > > 4. Replace the rename "gitfoo" above with a "see git-foo..." pointer. > > Users of "git help foo" would not ever see this, but people who > > have trained their fingers to type "man gitfoo" would, along with > > anybody following an outdated HTML link. > > > > 5. Update internal references to "linkgit:gitfoo" to point to > > "git-foo". > > > > Hmm. That really does not seem so bad. The biggest downside is the > > people who have to see the redirect made in step 4. > > Yeah, I see that a show-stopper in the whole sequence. > > This is one of the "if we had perfect knowledge we would have > designed it this way, and we could still migrate our current system > to that ideal, but it is dubious the difference between the current > system and the ideal will outweigh the cost of migration" moment, > isn't it? Yeah, perhaps. I did the patch series just to see what the effort would be like. But at this point I am fine if we drop it (it sounded like Jonathan was in favor of this direction, so maybe he wants to make a final argument). -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jeff King writes: > Right. So we have some that must be "gitfoo", and others that do not > care. If we turned "githooks" into "git-hooks" and removed the "is it a > command?" magic from "git help", then "git help hooks" would still find > hooks. And likewise, "git help gitignore" would still find "gitignore". > But you could no longer say "git help ignore" to find "gitignore". Which I think is a good thing ;-) > Which personally I am OK with. It is not a sensible thing to ask for; > the concept is not "ignore", but rather "the gitignore file". Yes, exactly. > 4. Replace the rename "gitfoo" above with a "see git-foo..." pointer. > Users of "git help foo" would not ever see this, but people who > have trained their fingers to type "man gitfoo" would, along with > anybody following an outdated HTML link. > > 5. Update internal references to "linkgit:gitfoo" to point to > "git-foo". > > Hmm. That really does not seem so bad. The biggest downside is the > people who have to see the redirect made in step 4. Yeah, I see that a show-stopper in the whole sequence. This is one of the "if we had perfect knowledge we would have designed it this way, and we could still migrate our current system to that ideal, but it is dubious the difference between the current system and the ideal will outweigh the cost of migration" moment, isn't it? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Fri, Feb 01, 2013 at 02:33:52AM -0500, Jeff King wrote: > I am starting to think it has grown in an unnecessarily complex > direction, and we would be much happier just calling all of the > "concept" documentation "git-". > > The steps I see are: I am still undecided on whether it is a good idea (in some ways, I like that "gitrevisions" signals to the user that it is not a command; but I also recognize that it is more complex for users, and gitremote-helpers looks silly to me). But here is what the patch looks like, for reference. The first one is a cleanup we might want to take anyway, and the second one is the meat. [1/2]: Documentation/Makefile: clean up MAN*_TXT lists [2/2]: docs: convert "concept" manpages to git-* -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Thu, Jan 31, 2013 at 09:37:51PM -0800, Junio C Hamano wrote:
> Jeff King writes:
>
> > What was the original rationale for the "gitfoo" form? Was it just to
> > visually distinguish command manpages from non-command manpages? I can't
> > remember the origins now.
>
> b27a23e (Documentation: convert tutorials to man pages, 2008-05-24)
> turns "tutorial.txt" into "gittutorial.txt". Before that, there
> were git{attributes,cli,ignore,hooks,modules}.txt. They were added
> in this order, which reveals the true reason:
>
> hooks.txt
> gitignore.txt
> gitmodules.txt
> gitcli.txt
> hooks.txt => githooks.txt
> gitatributes.txt
>
> Originally, we did not intend to name them as "git$concept.txt";
> instead, we just said "$concept.txt". Hooks are "hooks", and we
> know we are discussing hooks in the context of Git, there was no
> reason to say "githooks".
Yes, but if we are going to install a manpage, we must include "git"
somewhere in the name since that context is lost in the global manpage
database. So we need "githooks.txt" or "git-hooks.txt".
> "gitignore" was about the file format,
> and it would have been insane to call it "ignore.txt". The same
> applies to "gitmodules.txt".
Right. So we have some that must be "gitfoo", and others that do not
care. If we turned "githooks" into "git-hooks" and removed the "is it a
command?" magic from "git help", then "git help hooks" would still find
hooks. And likewise, "git help gitignore" would still find "gitignore".
But you could no longer say "git help ignore" to find "gitignore".
Which personally I am OK with. It is not a sensible thing to ask for;
the concept is not "ignore", but rather "the gitignore file".
> In other way, I think this wasn't designed, but organically grown.
Like many parts of git. :) I am starting to think it has grown in an
unnecessarily complex direction, and we would be much happier just
calling all of the "concept" documentation "git-".
The steps I see are:
1. Modify builtin/help.c, like:
diff --git a/builtin/help.c b/builtin/help.c
index 6067a61..1eca4ea 100644
--- a/builtin/help.c
+++ b/builtin/help.c
@@ -308,10 +308,8 @@ static const char *cmd_to_page(const char *git_cmd)
return "git";
else if (!prefixcmp(git_cmd, "git"))
return git_cmd;
- else if (is_git_command(git_cmd))
- return prepend("git-", git_cmd);
else
- return prepend("git", git_cmd);
+ return prepend("git-", git_cmd);
}
static void setup_man_path(void)
2. Rename the "concept" files like:
Documentation/{gitcli.txt => git-cli.txt} | 0
Documentation/{gitcore-tutorial.txt => git-core-tutorial.txt} | 0
Documentation/{gitcredentials.txt => git-credentials.txt} | 0
Documentation/{gitcvs-migration.txt => git-cvs-migration.txt} | 0
Documentation/{gitdiffcore.txt => git-diffcore.txt} | 0
Documentation/{gitglossary.txt => git-glossary.txt} | 0
Documentation/{githooks.txt => git-hooks.txt} | 0
Documentation/{gitnamespaces.txt => git-namespaces.txt} | 0
Documentation/{gitrepository-layout.txt => git-repository-layout.txt} | 0
Documentation/{gitrevisions.txt => git-revisions.txt} | 0
Documentation/{gittutorial-2.txt => git-tutorial-2.txt} | 0
Documentation/{gittutorial.txt => git-tutorial.txt} | 0
Documentation/{gitworkflows.txt => git-workflows.txt} | 0
3. Teach Documentation/Makefile about the new filenames. MAN1_TXT
includes git-*.txt, which is no longer right. I think we'd need to
just filter out what is in MAN5_TXT and MAN7_TXT.
4. Replace the rename "gitfoo" above with a "see git-foo..." pointer.
Users of "git help foo" would not ever see this, but people who
have trained their fingers to type "man gitfoo" would, along with
anybody following an outdated HTML link.
5. Update internal references to "linkgit:gitfoo" to point to
"git-foo".
Hmm. That really does not seem so bad. The biggest downside is the
people who have to see the redirect made in step 4.
But I have not thought about it too hard, so maybe there is something
else I'm not seeing.
-Peff
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jeff King writes:
> What was the original rationale for the "gitfoo" form? Was it just to
> visually distinguish command manpages from non-command manpages? I can't
> remember the origins now.
b27a23e (Documentation: convert tutorials to man pages, 2008-05-24)
turns "tutorial.txt" into "gittutorial.txt". Before that, there
were git{attributes,cli,ignore,hooks,modules}.txt. They were added
in this order, which reveals the true reason:
hooks.txt
gitignore.txt
gitmodules.txt
gitcli.txt
hooks.txt => githooks.txt
gitatributes.txt
Originally, we did not intend to name them as "git$concept.txt";
instead, we just said "$concept.txt". Hooks are "hooks", and we
know we are discussing hooks in the context of Git, there was no
reason to say "githooks". "gitignore" was about the file format,
and it would have been insane to call it "ignore.txt". The same
applies to "gitmodules.txt".
Things start to go in a strange direction when "cli" was added. We
know that is about the command line interface in the context of Git,
and it should have been "cli.txt". To make things worse, later
"hooks.txt" took an example of "gitcli.txt" in the wrong way at
a5af0e2 (Documentation: rename "hooks.txt" to "githooks.txt" and
make it a man page, 2008-05-02).
In other way, I think this wasn't designed, but organically grown.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Thu, Jan 31, 2013 at 03:04:55PM -0800, Jonathan Nieder wrote: > Jeff King wrote: > > > Maybe it is just me, but the fact that accessing the manpage is now: > > > > man gitremote-helpers > > > > feels weird to me. I know it technically follows our syntactic rules, > > but having the lack of dash be significant between "git" and "remote", > > but then having a dash later makes it hard on the eyes. > > Yes. I have thought for years that it should be git-remote-helpers, > that "git help" should be tweaked to look for that, and that the > existing gitrepository-layout and friends should be replaced with > redirects. What was the original rationale for the "gitfoo" form? Was it just to visually distinguish command manpages from non-command manpages? I can't remember the origins now. It does seem like it is causing more hassle than it is worth, but maybe there is something I am forgetting. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
John Keeping writes: > On Thu, Jan 31, 2013 at 02:43:20PM -0800, Junio C Hamano wrote: >> John Keeping writes: >> >> > Yes. Should I change it to "git-remote-helpers.html.in" and then copy >> > it into place? That seems like the simplest answer and means that >> > "*.html" will continue to refer only to generated files. >> >> I'd like to see if we can have a way to keep its look as the default >> css gets updated without maintainance burden. >> >> How about using AsciiDoc instead of "cp", perhaps like this on top >> of your patch? > > I tried AsciiDoc first but didn't like the output. I think putting "See > gitremote-helpers" in the synopsis is the magic I was missing. This > looks good to me. Actually I didn't mean "take this patch, it works". I've queued a slightly different version and will push it out as part of 'pu' later. Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Junio C Hamano wrote: > Jonathan Nieder writes: >> Yes. I have thought for years that it should be git-remote-helpers, >> that "git help" should be tweaked to look for that, and that the >> existing gitrepository-layout and friends should be replaced with >> redirects. > > Because of the "git help" look up rules, we cannot have two pages > that only differ at the dash (or absense of it) immediately after > 'git'; e.g. one about the concept of 'frotz' in the context of Git, > i.e. "man gitfrotz", and the other about the subcommand to perform > 'frotz', i.e. "man git-frotz". The way to refer to these two pages > are both "git help frotz". Exactly. Hence the disambiguating dash-versus-nondash convention buys us nothing. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jonathan Nieder writes: > Jeff King wrote: > >> Maybe it is just me, but the fact that accessing the manpage is now: >> >> man gitremote-helpers >> >> feels weird to me. I know it technically follows our syntactic rules, >> but having the lack of dash be significant between "git" and "remote", >> but then having a dash later makes it hard on the eyes. > > Yes. I have thought for years that it should be git-remote-helpers, > that "git help" should be tweaked to look for that, and that the > existing gitrepository-layout and friends should be replaced with > redirects. Because of the "git help" look up rules, we cannot have two pages that only differ at the dash (or absense of it) immediately after 'git'; e.g. one about the concept of 'frotz' in the context of Git, i.e. "man gitfrotz", and the other about the subcommand to perform 'frotz', i.e. "man git-frotz". The way to refer to these two pages are both "git help frotz". The simplest way forward may be to teach "git help" to try both paths? But some people configure "git help -w" to refer to remote site, so it won't be access(path, F_OK). Sigh... -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jeff King wrote: > Maybe it is just me, but the fact that accessing the manpage is now: > > man gitremote-helpers > > feels weird to me. I know it technically follows our syntactic rules, > but having the lack of dash be significant between "git" and "remote", > but then having a dash later makes it hard on the eyes. Yes. I have thought for years that it should be git-remote-helpers, that "git help" should be tweaked to look for that, and that the existing gitrepository-layout and friends should be replaced with redirects. I didn't say anything (except a random comment once on #git) because I can't promise to have time soon to work on it. Might try anyway. Thanks, Jonathan -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Thu, Jan 31, 2013 at 02:43:20PM -0800, Junio C Hamano wrote: > John Keeping writes: > > > Yes. Should I change it to "git-remote-helpers.html.in" and then copy > > it into place? That seems like the simplest answer and means that > > "*.html" will continue to refer only to generated files. > > I'd like to see if we can have a way to keep its look as the default > css gets updated without maintainance burden. > > How about using AsciiDoc instead of "cp", perhaps like this on top > of your patch? I tried AsciiDoc first but didn't like the output. I think putting "See gitremote-helpers" in the synopsis is the magic I was missing. This looks good to me. John -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
Jeff King writes: > Maybe it is just me, but the fact that accessing the manpage is now: > > man gitremote-helpers > > feels weird to me. It feels equally weird to say "man gitremotehelpers" (or in general "man git-thing" or "man gitconcept"), to me. I gave up and switched to "git help remote-helpers" some time ago. "git help remotehelpers" feels like a small regression. > I dunno. Me neither. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
John Keeping writes:
> Yes. Should I change it to "git-remote-helpers.html.in" and then copy
> it into place? That seems like the simplest answer and means that
> "*.html" will continue to refer only to generated files.
I'd like to see if we can have a way to keep its look as the default
css gets updated without maintainance burden.
How about using AsciiDoc instead of "cp", perhaps like this on top
of your patch?
Documentation/.gitignore | 1 -
Documentation/Makefile| 9 +-
Documentation/git-remote-helpers.txto | 26 +
Documentation/git-remote-helpers.html | 55 ---
4 files changed, 34 insertions(+), 57 deletions(-)
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 4685378..d62aebd 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,6 +1,5 @@
*.xml
*.html
-!git-remote-helpers.html
*.[1-8]
*.made
*.texi
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 13e0098..fa2f9f9 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -13,7 +13,8 @@ MAN_TXT = $(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT)
MAN_XML=$(patsubst %.txt,%.xml,$(MAN_TXT))
MAN_HTML=$(patsubst %.txt,%.html,$(MAN_TXT))
-DOC_HTML=$(MAN_HTML) git-remote-helpers.html
+OBSOLETE_HTML = git-remote-helpers.html
+DOC_HTML=$(MAN_HTML) $(OBSOLETE_HTML)
ARTICLES = howto-index
ARTICLES += everyday
@@ -261,6 +262,12 @@ $(MAN_HTML): %.html : %.txt asciidoc.conf
$(ASCIIDOC_EXTRA) -agit_version=$(GIT_VERSION) -o $@+ $< && \
mv $@+ $@
+$(OBSOLETE_HTML): %.html : %.txto asciidoc.conf
+ $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \
+ $(ASCIIDOC) -b xhtml11 -d manpage -f asciidoc.conf \
+ $(ASCIIDOC_EXTRA) -agit_version=$(GIT_VERSION) -o $@+ $< && \
+ mv $@+ $@
+
manpage-base-url.xsl: manpage-base-url.xsl.in
sed "s|@@MAN_BASE_URL@@|$(MAN_BASE_URL)|" $< > $@
diff --git a/Documentation/git-remote-helpers.txto
b/Documentation/git-remote-helpers.txto
new file mode 100644
index 000..a966013
--- /dev/null
+++ b/Documentation/git-remote-helpers.txto
@@ -0,0 +1,25 @@
+git-remote-helpers(1)
+=
+
+NAME
+
+git-remote-helpers - obsoleted page
+
+SYNOPSIS
+
+See linkgit:gitremote-helpers[1].
+
+DESCRIPTION
+---
+This document has been moved to linkgit:gitremote-helpers[1].
+
+Please let the owners of the referring site know so that they can update the
+link you clicked to get here.
+
+SEE ALSO
+
+linkgit:gitremote-helpers[1]
+
+GIT
+---
+No longer a part of the linkgit:git[1] suite
diff --git a/Documentation/git-remote-helpers.html
b/Documentation/git-remote-helpers.html
deleted file mode 100644
index 0c5ec27..000
--- a/Documentation/git-remote-helpers.html
+++ /dev/null
@@ -1,55 +0,0 @@
-http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd";>
-http://www.w3.org/1999/xhtml"; xml:lang="en">
-
-
-git-remote-helpers(1) - Document Moved
-
-/* Cut-down styles from asciidoc.css. */
-
-/* Default font. */
-body {
- font-family: Georgia,serif;
-}
-
-/* Title font. */
-h1 {
- font-family: Arial,Helvetica,sans-serif;
-}
-
-body {
- margin: 1em 5% 1em 5%;
-}
-
-a {
- color: blue;
- text-decoration: underline;
-}
-a:visited {
- color: fuchsia;
-}
-
-h1, h2, h3, h4, h5, h6 {
- color: #527bbd;
- margin-top: 1.2em;
- margin-bottom: 0.5em;
- line-height: 1.3;
-}
-
-
-
-
-
-
-Document Moved
-
-
-
-This document is now called gitremote-helpers.
-
-Please let the owners of the referring site know so that they can update the
-link you clicked to get here.
-
-
-
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Thu, Jan 31, 2013 at 09:59:50PM +, John Keeping wrote: > When looking up a topic via "git help ", git-help prepends "git-" > to topics that are the names of commands (either builtin or found on the > path) and "git" (no hyphen) to any other topic name. > > "git-remote-helpers" is not the name of a command, so "git help > remote-helpers" looks for "gitremote-helpers" and does not find it. > > Fix this by renaming "git-remote-helpers.txt" to > "gitremote-helpers.txt". Maybe it is just me, but the fact that accessing the manpage is now: man gitremote-helpers feels weird to me. I know it technically follows our syntactic rules, but having the lack of dash be significant between "git" and "remote", but then having a dash later makes it hard on the eyes. Would it make more sense to just call it "gitremotehelpers", and then access it as: git help remotehelpers or man gitremotehelpers ? That has it its own ugliness (two words run together), but at least my version of man will accept arbitrary capitalization, allowing: git help remoteHelpers and man gitremoteHelpers I dunno. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
On Thu, Jan 31, 2013 at 02:13:10PM -0800, Junio C Hamano wrote: > John Keeping writes: > > > When looking up a topic via "git help ", git-help prepends "git-" > > to topics that are the names of commands (either builtin or found on the > > path) and "git" (no hyphen) to any other topic name. > > > > "git-remote-helpers" is not the name of a command, so "git help > > remote-helpers" looks for "gitremote-helpers" and does not find it. > > > > Fix this by renaming "git-remote-helpers.txt" to > > "gitremote-helpers.txt". > > > > Signed-off-by: John Keeping > > > > --- > > Changes since v1: > > > > - add gitremote-helpers.txt to the Makefile since it is no longer caught > > by git-*.txt. > > > > - add a simple git-remote-helpers.html to help people following links to > > the old name. > > Doesn't "make clean" remove the placeholder file? Yes. Should I change it to "git-remote-helpers.html.in" and then copy it into place? That seems like the simplest answer and means that "*.html" will continue to refer only to generated files. John -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH] Rename {git- => git}remote-helpers.txt
John Keeping writes:
> When looking up a topic via "git help ", git-help prepends "git-"
> to topics that are the names of commands (either builtin or found on the
> path) and "git" (no hyphen) to any other topic name.
>
> "git-remote-helpers" is not the name of a command, so "git help
> remote-helpers" looks for "gitremote-helpers" and does not find it.
>
> Fix this by renaming "git-remote-helpers.txt" to
> "gitremote-helpers.txt".
>
> Signed-off-by: John Keeping
>
> ---
> Changes since v1:
>
> - add gitremote-helpers.txt to the Makefile since it is no longer caught
> by git-*.txt.
>
> - add a simple git-remote-helpers.html to help people following links to
> the old name.
Doesn't "make clean" remove the placeholder file?
> Documentation/.gitignore | 1 +
> Documentation/Makefile | 4 +-
> Documentation/git-remote-helpers.html | 55
> ++
> Documentation/git-remote-testgit.txt | 2 +-
> ...it-remote-helpers.txt => gitremote-helpers.txt} | 6 +--
> Documentation/urls.txt | 2 +-
> 6 files changed, 63 insertions(+), 7 deletions(-)
> create mode 100644 Documentation/git-remote-helpers.html
> rename Documentation/{git-remote-helpers.txt => gitremote-helpers.txt} (99%)
>
> diff --git a/Documentation/.gitignore b/Documentation/.gitignore
> index 2c8b2d6..5f479b8 100644
> --- a/Documentation/.gitignore
> +++ b/Documentation/.gitignore
> @@ -1,5 +1,6 @@
> *.xml
> *.html
> +!git-remote-helpers.html
> *.[1-8]
> *.made
> *.texi
> diff --git a/Documentation/Makefile b/Documentation/Makefile
> index fe6709c..4ccb828 100644
> --- a/Documentation/Makefile
> +++ b/Documentation/Makefile
> @@ -1,7 +1,7 @@
> MAN1_TXT= \
> $(filter-out $(addsuffix .txt, $(ARTICLES) $(SP_ARTICLES)), \
> $(wildcard git-*.txt)) \
> - gitk.txt gitweb.txt git.txt
> + gitk.txt gitweb.txt git.txt gitremote-helpers.txt
> MAN5_TXT=gitattributes.txt gitignore.txt gitmodules.txt githooks.txt \
> gitrepository-layout.txt gitweb.conf.txt
> MAN7_TXT=gitcli.txt gittutorial.txt gittutorial-2.txt \
> @@ -13,7 +13,7 @@ MAN_TXT = $(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT)
> MAN_XML=$(patsubst %.txt,%.xml,$(MAN_TXT))
> MAN_HTML=$(patsubst %.txt,%.html,$(MAN_TXT))
>
> -DOC_HTML=$(MAN_HTML)
> +DOC_HTML=$(MAN_HTML) git-remote-helpers.html
>
> ARTICLES = howto-index
> ARTICLES += everyday
> diff --git a/Documentation/git-remote-helpers.html
> b/Documentation/git-remote-helpers.html
> new file mode 100644
> index 000..0c5ec27
> --- /dev/null
> +++ b/Documentation/git-remote-helpers.html
> @@ -0,0 +1,55 @@
> + +"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd";>
> +http://www.w3.org/1999/xhtml"; xml:lang="en">
> +
> +
> +git-remote-helpers(1) - Document Moved
> +
> +/* Cut-down styles from asciidoc.css. */
> +
> +/* Default font. */
> +body {
> + font-family: Georgia,serif;
> +}
> +
> +/* Title font. */
> +h1 {
> + font-family: Arial,Helvetica,sans-serif;
> +}
> +
> +body {
> + margin: 1em 5% 1em 5%;
> +}
> +
> +a {
> + color: blue;
> + text-decoration: underline;
> +}
> +a:visited {
> + color: fuchsia;
> +}
> +
> +h1, h2, h3, h4, h5, h6 {
> + color: #527bbd;
> + margin-top: 1.2em;
> + margin-bottom: 0.5em;
> + line-height: 1.3;
> +}
> +
> +
> +
> +
> +
> +
> +Document Moved
> +
> +
> +
> +This document is now called +href="gitremote-helpers.html">gitremote-helpers.
> +
> +Please let the owners of the referring site know so that they can update
> the
> +link you clicked to get here.
> +
> +
> +
> diff --git a/Documentation/git-remote-testgit.txt
> b/Documentation/git-remote-testgit.txt
> index 612a625..f791d73 100644
> --- a/Documentation/git-remote-testgit.txt
> +++ b/Documentation/git-remote-testgit.txt
> @@ -23,7 +23,7 @@ The best way to learn more is to read the comments and
> source code in
>
> SEE ALSO
>
> -linkgit:git-remote-helpers[1]
> +linkgit:gitremote-helpers[1]
>
> GIT
> ---
> diff --git a/Documentation/git-remote-helpers.txt
> b/Documentation/gitremote-helpers.txt
> similarity index 99%
> rename from Documentation/git-remote-helpers.txt
> rename to Documentation/gitremote-helpers.txt
> index e36fdcb..0c91aba 100644
> --- a/Documentation/git-remote-helpers.txt
> +++ b/Documentation/gitremote-helpers.txt
> @@ -1,9 +1,9 @@
> -git-remote-helpers(1)
> -=
> +gitremote-helpers(1)
> +
>
> NAME
>
> -git-remote-helpers - Helper programs to interact with remote repositories
> +gitremote-helpers - Helper programs to interact with remote repositories
>
> SYNOPSIS
>
> diff --git a/Documentation/urls.txt b/Documentation/urls.txt
> index 539c0a0..3ca122f 100644
> --- a/Documentation/urls.txt
> +++ b/Documentation/urls.txt
> @@ -55,7 +55,7 @@ may be used:
>
> where may be a path, a server and path, or an arbitrary
> URL-like string recognized by the specific remote helper being
>
[PATCH] Rename {git- => git}remote-helpers.txt
When looking up a topic via "git help ", git-help prepends "git-"
to topics that are the names of commands (either builtin or found on the
path) and "git" (no hyphen) to any other topic name.
"git-remote-helpers" is not the name of a command, so "git help
remote-helpers" looks for "gitremote-helpers" and does not find it.
Fix this by renaming "git-remote-helpers.txt" to
"gitremote-helpers.txt".
Signed-off-by: John Keeping
---
Changes since v1:
- add gitremote-helpers.txt to the Makefile since it is no longer caught
by git-*.txt.
- add a simple git-remote-helpers.html to help people following links to
the old name.
Documentation/.gitignore | 1 +
Documentation/Makefile | 4 +-
Documentation/git-remote-helpers.html | 55 ++
Documentation/git-remote-testgit.txt | 2 +-
...it-remote-helpers.txt => gitremote-helpers.txt} | 6 +--
Documentation/urls.txt | 2 +-
6 files changed, 63 insertions(+), 7 deletions(-)
create mode 100644 Documentation/git-remote-helpers.html
rename Documentation/{git-remote-helpers.txt => gitremote-helpers.txt} (99%)
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 2c8b2d6..5f479b8 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,5 +1,6 @@
*.xml
*.html
+!git-remote-helpers.html
*.[1-8]
*.made
*.texi
diff --git a/Documentation/Makefile b/Documentation/Makefile
index fe6709c..4ccb828 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -1,7 +1,7 @@
MAN1_TXT= \
$(filter-out $(addsuffix .txt, $(ARTICLES) $(SP_ARTICLES)), \
$(wildcard git-*.txt)) \
- gitk.txt gitweb.txt git.txt
+ gitk.txt gitweb.txt git.txt gitremote-helpers.txt
MAN5_TXT=gitattributes.txt gitignore.txt gitmodules.txt githooks.txt \
gitrepository-layout.txt gitweb.conf.txt
MAN7_TXT=gitcli.txt gittutorial.txt gittutorial-2.txt \
@@ -13,7 +13,7 @@ MAN_TXT = $(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT)
MAN_XML=$(patsubst %.txt,%.xml,$(MAN_TXT))
MAN_HTML=$(patsubst %.txt,%.html,$(MAN_TXT))
-DOC_HTML=$(MAN_HTML)
+DOC_HTML=$(MAN_HTML) git-remote-helpers.html
ARTICLES = howto-index
ARTICLES += everyday
diff --git a/Documentation/git-remote-helpers.html
b/Documentation/git-remote-helpers.html
new file mode 100644
index 000..0c5ec27
--- /dev/null
+++ b/Documentation/git-remote-helpers.html
@@ -0,0 +1,55 @@
+http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd";>
+http://www.w3.org/1999/xhtml"; xml:lang="en">
+
+
+git-remote-helpers(1) - Document Moved
+
+/* Cut-down styles from asciidoc.css. */
+
+/* Default font. */
+body {
+ font-family: Georgia,serif;
+}
+
+/* Title font. */
+h1 {
+ font-family: Arial,Helvetica,sans-serif;
+}
+
+body {
+ margin: 1em 5% 1em 5%;
+}
+
+a {
+ color: blue;
+ text-decoration: underline;
+}
+a:visited {
+ color: fuchsia;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ color: #527bbd;
+ margin-top: 1.2em;
+ margin-bottom: 0.5em;
+ line-height: 1.3;
+}
+
+
+
+
+
+
+Document Moved
+
+
+
+This document is now called gitremote-helpers.
+
+Please let the owners of the referring site know so that they can update the
+link you clicked to get here.
+
+
+
diff --git a/Documentation/git-remote-testgit.txt
b/Documentation/git-remote-testgit.txt
index 612a625..f791d73 100644
--- a/Documentation/git-remote-testgit.txt
+++ b/Documentation/git-remote-testgit.txt
@@ -23,7 +23,7 @@ The best way to learn more is to read the comments and source
code in
SEE ALSO
-linkgit:git-remote-helpers[1]
+linkgit:gitremote-helpers[1]
GIT
---
diff --git a/Documentation/git-remote-helpers.txt
b/Documentation/gitremote-helpers.txt
similarity index 99%
rename from Documentation/git-remote-helpers.txt
rename to Documentation/gitremote-helpers.txt
index e36fdcb..0c91aba 100644
--- a/Documentation/git-remote-helpers.txt
+++ b/Documentation/gitremote-helpers.txt
@@ -1,9 +1,9 @@
-git-remote-helpers(1)
-=
+gitremote-helpers(1)
+
NAME
-git-remote-helpers - Helper programs to interact with remote repositories
+gitremote-helpers - Helper programs to interact with remote repositories
SYNOPSIS
diff --git a/Documentation/urls.txt b/Documentation/urls.txt
index 539c0a0..3ca122f 100644
--- a/Documentation/urls.txt
+++ b/Documentation/urls.txt
@@ -55,7 +55,7 @@ may be used:
where may be a path, a server and path, or an arbitrary
URL-like string recognized by the specific remote helper being
-invoked. See linkgit:git-remote-helpers[1] for details.
+invoked. See linkgit:gitremote-helpers[1] for details.
If there are a large number of similarly-named remote repositories and
you want to use a different format for them (such that the URLs you
--
1.8.1.1
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/ma
