diff options
Diffstat (limited to 'Porting')
| -rw-r--r-- | Porting/release_managers_guide.pod | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Porting/release_managers_guide.pod b/Porting/release_managers_guide.pod index 4044dd0866..86e8fe1804 100644 --- a/Porting/release_managers_guide.pod +++ b/Porting/release_managers_guide.pod @@ -502,6 +502,7 @@ Check that the manifest is sorted and correct: $ make manisort $ make distclean + $ git clean -xdf # This shouldn't be necessary if distclean is correct $ perl Porting/manicheck $ git status |