diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-03-18 15:15:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-03-19 13:23:26 +0100 |
| commit | a0f83602f8333f2e9fa01ee8ad1ce9e073f5b753 (patch) | |
| tree | 748026316b804a07458e62e1c59f9e88810804dd /gnu/packages/mpi.scm | |
| parent | 60d629d777a29b7708d5ced162beced74e1af2dc (diff) | |
| download | guix-patches-a0f83602f8333f2e9fa01ee8ad1ce9e073f5b753.tar guix-patches-a0f83602f8333f2e9fa01ee8ad1ce9e073f5b753.tar.gz | |
gnu-maintenance: Better handle empty #:directory for 'latest-html-release'.
In particular, this makes sure we don't add a trailing slash when the
user specified a 'release-monitoring-url' property for the
'generic-html' updater.
* guix/gnu-maintenance.scm (latest-html-release): When DIRECTORY is
empty, do not append it.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions