diff options
| author | Reuben Thomas <rrt@sc3d.org> | 2012-02-09 11:06:39 +0100 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-02-09 11:06:39 +0100 |
| commit | eab243b0c190e877bcdfe4242ccce63bf3677529 (patch) | |
| tree | e96143ecb9e8e912f6acb7fe3d97954246c57eb2 /top/README-release | |
| parent | 84232cb1a6feb1185219493e83148abda5740233 (diff) | |
| download | gnulib-eab243b0c190e877bcdfe4242ccce63bf3677529.tar.gz | |
README-release: capitalize a word and split a line
* top/README-release: Fix punctuation and spacing.
Diffstat (limited to 'top/README-release')
| -rw-r--r-- | top/README-release | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/top/README-release b/top/README-release index d6e032a962..25e1dbf0cd 100644 --- a/top/README-release +++ b/top/README-release @@ -1,6 +1,6 @@ Here are most of the steps we (maintainers) follow when making a release. -* start from a clean, up-to-date git directory. +* Start from a clean, up-to-date git directory: make -k maintainer-clean || { ./configure && make maintainer-clean; } git checkout master @@ -11,7 +11,9 @@ Here are most of the steps we (maintainers) follow when making a release. the complete list of tools. * Ensure that you're on "master" with no uncommitted diffs. - This should produce no output: git checkout master; git diff + This should produce no output: + + git checkout master; git diff * Ensure that you've pushed all changes that belong in the release and that the NixOS/Hydra autobuilder is reporting all is well: |