[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: [PATCH 3/3] makediff: update list of cherry-picks
We don't need to apply the old commits anymore, but we have to apply the URL update to work around a not-yet-debugged latexdiff problem. Signed-off-by: Cornelia Huck <cohuck@redhat.com> --- makediff.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/makediff.sh b/makediff.sh index f65a2b43676a..897eeaded83e 100755 --- a/makediff.sh +++ b/makediff.sh @@ -20,8 +20,7 @@ while read -r rev; do echo "Applying $rev" git cherry-pick --keep-redundant-commits --allow-empty `git rev-list -1 -F --grep "$rev" $newrev` || exit 1 done << 'EOF' -headerfile: rename virtio_ring to virtio queue -edit: drop obsolete commands related to cs02 +editorial: update "Computer Language Definitions" URL EOF #mv specvars.tex specvars-orig.tex -- 2.41.0
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]