HOWTO-RELEASE: fix previously missed rename from distclean
commit7cdb0072027ff022223c86e9672ff55e9425b2a4
authorAdam Spiers <stow@adamspiers.org>
Sun, 7 Apr 2024 23:13:57 +0000 (8 00:13 +0100)
committerAdam Spiers <stow@adamspiers.org>
Sun, 7 Apr 2024 23:13:57 +0000 (8 00:13 +0100)
tree524afd86b0ffb3913c392a77f189ebe23363b272
parent07007feed2520a945fe70121da881bbc6912defa
HOWTO-RELEASE: fix previously missed rename from distclean

3aae830e changed the procedure from distclean to maintainer-clean,
but missed changing this final detail.
doc/HOWTO-RELEASE