[website] 02/02: Use `debcommit -r`, dropping -a option.

[Bas Couwenberg]

This is an automated email from the git hooks/post-receive script.

sebastic pushed a commit to branch master
in repository website.

commit 4b8835667b8c0e4e088c5a361a991af5d5248ce0
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Sat Jul 9 23:38:54 2016 +0200

    Use `debcommit -r`, dropping -a option.
    
    Changes to the working directory need to be commited or reverted before tagging.
---
 policy.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/policy.xml b/policy.xml
index 43f64ba..2ec9688 100644
--- a/policy.xml
+++ b/policy.xml
@@ -1649,10 +1649,10 @@ allowed_distributions = .*
               <link linkend="debian-changelog"><filename>debian/changelog</filename></link>
               you can use:
 <programlisting>
-<command>debcommit</command> <option>-ar</option>
+<command>debcommit</command> <option>-r</option>
 </programlisting>
-              The <option>-a</option> is used to commit all changed files,
-              and not only tag the release.
+              If the build modified the working directory, those modifications
+              need to be reverted before the release can be tagged.
             </para>
             <para>
               You can also tag a specific distribution and/or version using:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/website.git