Re: Bad Man Page URLs

>> 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.