Re: [PATCH/RFC v2] Documentation: flesh out “git pull” description

Jonathan Nieder [off-list ref] writes:

Junio: ideally for this to work, git-pull.html would need to get the
same special treatment as git.html gets.  Does that seem doable?  Is
Meta/dodoc.sh still the script to do it?

I am a bit reluctant to see stalenotes[] being abused; that ugly hack is
in effect _only_ while k.org documentation is being built to hang the "You
are reading the latest dev version, newer than anything released" sign on
the front door.

People with older git have documentation shipped with their versions, no?