diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-04-27 02:23:35 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-05-02 14:40:43 +0000 |
| commit | 74917176fb4beb5e23f11e50346bc6484ea5b776 (patch) | |
| tree | 5d3357b39dd6f7608b5027647f46ed1c7ebecd90 /docs/conf.py | |
| parent | a601537cff623acc04d3fb495fedfc634c6b4221 (diff) | |
Makefile: Remove MIRROR_UBUNTU_URL hardcode.
This uses the public Ubuntu archive, which is not only slow,
but oftenly times out.
With the risk of using slightly lagging local mirrors, remove
public archive hard code.
End-users should configure this based on their location/mirrors
if necessary (e.g. out of date closest mirrors).
Change-Id: I3d963d202033b2b75dab3b8f10ee31e5a6940994
(cherry picked from commit 946b3dbbf2bf8022924cdd008587dfe7fc1e9a47)
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions