I was having trouble building man pages on my Ubuntu 14.04 build
machine, so I looked at gitbuilder-doc. I saw that it was running
Ubuntu 11.10. Even though the end-of-life for Ubuntu 11.10 was May 9,
2013, I installed a new virtual machine with it. I needed to change
/etc/apt/sources.list
On Thu, Jun 14, 2012 at 9:00 PM, Florian Haas flor...@hastexo.com wrote:
it occurred to me this afternoon that admin/build-doc unconditionally
tries to fetch some updates from GitHub, which breaks building docs when
you don't have a network connection. Would there be any reasonably
simple way
Hi everyone,
it occurred to me this afternoon that admin/build-doc unconditionally
tries to fetch some updates from GitHub, which breaks building docs when
you don't have a network connection. Would there be any reasonably
simple way to make it support offline build, provided the various pip
bits
