diff options
| -rwxr-xr-x | debian/do-dch | 2 | ||||
| -rw-r--r-- | debian/pkg-zsh-workflow.org | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/do-dch b/debian/do-dch index cf3a89a84..52ddca295 100755 --- a/debian/do-dch +++ b/debian/do-dch @@ -24,7 +24,7 @@ cl="debian/changelog" rm -f "$old" cp "$cl" "$old" -sed -e '/^ \* \[[a-f0-9]*\] \[dch-ignore\] /d' < "$old" > "$cl" +sed -e '/^ \* \[[a-f0-9]*\] \[dch-ignored?\] /d' < "$old" > "$cl" rm -f "$old" ${VISUAL:-${EDITOR:-vi}} "$cl" diff --git a/debian/pkg-zsh-workflow.org b/debian/pkg-zsh-workflow.org index 8d9389e18..57a651dd5 100644 --- a/debian/pkg-zsh-workflow.org +++ b/debian/pkg-zsh-workflow.org @@ -254,7 +254,7 @@ "[dch-ignore] ", so those commits can be weeded out easily. There is a helper script "debian/do-dch" which takes care of all - formatting options as well as the "[dch-ignored] " weeding. The + formatting options as well as the "[dch-ignore] " weeding. The script should be used unless there is a good reason not to. |