Permalink
Browse files

make mani now does the right thing.

  • Loading branch information...
pjcj committed Aug 31, 2010
1 parent 78824aa commit a08e168f32548927c7befa2833453d551eb2428a
Showing with 1 addition and 1 deletion.
  1. +1 −1 docs/RELEASE
View
@@ -1,5 +1,5 @@
Make sure the MANIFEST is up to date.
- $ rm MANIFEST && make mani
+ $ make mani
Check for changes and commit if necessary.
$ git diff

0 comments on commit a08e168

Please sign in to comment.