Max Horn <> writes:

[administrivia: please wrap lines to a reasonable width]

> On 30.01.2013, at 16:59, Sitaram Chamarty wrote:
>> I'm curious... what's wrong with 'git checkout html' from the git repo
>> and just browsing them using a web browser?
> Hm, do you mean "make html", perhaps? At least I couldn't figure
> out what "git checkout html" should do, but out of curiosity gave
> it a try and got an error...

Perhaps some information from "A note from the maintainer" (posted
to this list from time to time) is lacking.  Some excerpts:

    You can browse the HTML manual pages at:


    Preformatted documentation from the tip of the "master" branch can be
    found in:


Armed with that knowledge, I think Sitaram may have something like

        [remote "htmldocs"]
                url = git://
                fetch = +refs/heads/master:refs/heads/html

and does

        git fetch htmldocs
        git checkout html

You can, too, of course ;-)
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to