Merge branch 'deploy' into deploy.spirit

* deploy:
  Makefile: Add `help' summary.
  Makefile: Float `V' along with the other configuration variables
  bin/chroot-maint: Set HTTPS proxy along with the HTTP proxy.
  Makefile, etc/aptsrc.conf: Update for new Debian releases.
  Makefile: Force creation of directories using an order-only pattern rule.
  Makefile: Introduce and use some improved pathname manipulation functions.
  Makefile: Don't create random directories in the working tree.
  Makefile: Make `all' and `schroot-config' be single-colon rules.

diff --git a/etc/apt-conf.d/90local b/etc/apt-conf.d/90local
index d69c64ca6dfc98fefbaed6d9901aa32d3375edca..d3febb3824e71ba3f289b12729c86b2389742efd 100644 (file)
--- a/etc/apt-conf.d/90local
+++ b/etc/apt-conf.d/90local
@@ -1,5 +1,5 @@
 ### -*-conf-*-
 
 Acquire {
-       http::Proxy "http://universe.distorted.org.uk:3142/";
+       http::Proxy "http://localhost:3142/";
 }