From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 18 Jun 2024 22:46:19 +0000 (+0100)
Subject: Merge branch 'deploy' into deploy.spirit
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/distorted-chroot/commitdiff_plain/5f71cc1c911620aa869df013d442f76cd8b40fb4

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

5f71cc1c911620aa869df013d442f76cd8b40fb4