Merge pull request #2388 from boutproject/dschwoerer-patch-1

make dist depends on updated make.config [skip ci]
boutproject · Jul 29, 2021 · d8ba8ca · d8ba8ca
2 parents 45c3574 + ecd6be5
commit d8ba8ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manual/RELEASE_HOWTO.md b/manual/RELEASE_HOWTO.md
@@ -58,7 +58,7 @@ Before merging PR:
 
 After PR is merged:
 
-- [ ] Make tarball: `make dist`
+- [ ] Make tarball: `./configure && make dist`
 - [ ] Try to summarise the changes!
 - [ ] Make [GitHub Release][gh_release], include change summary **NB:** tag should have
       leading `v`