Re: Bad Man Page URLs
From: David E. Wheeler <hidden>
Date: 2016-06-15 22:53:40
On Apr 6, 2012, at 12:15 AM, Junio C Hamano wrote:
quoted
Junio, what do you think of building the git-manpages-* tarballs (and the git-manpages repo) with MAN_BASE_URL set to "http://some-official-place/"? As of now, they mention "file:///home/junio/...".I think git-manpages repo already sets the base to the old k.org location (see dodoc.sh in the 'todo' branch), but I forgot about that setting when I cobbled together the tarball releasing script to be run on my home box in a hurry. The releases used to be cut on a k.org machine and I initially planned to stop generating the manpage/html tarballs when we lost shell access to it, but some distro people demanded it, so... I do not know how well things would behave if we set it to "git-htmldocs/" as Jonathan suggests, but we will see what happens. I think there is no need to patch any Makefile; the make variable is designed to be overridable by the callers of make, so patches should go to either 'dodoc.sh' or the tarball release scripts, which are not checked in to the 'todo' branch yet, but I will do so if I remember ;-). FWIW, here is the (updated) 'RelBuild' script.
Don't know if you've applied this fix, but I just downloaded the 1.7.10 man pages, and they URLs are now:
1. Everyday Git
git-htmldocs/everyday.html
2. Git User's Manual
git-htmldocs/user-manual.html
3. git concepts chapter of the user-manual
git-htmldocs/user-manual.html#git-concepts
4. howto
git-htmldocs/howto-index.html
5. GIT API documentation
git-htmldocs/technical/api-index.html
Which also aren't very useful. :-(
David