diff options
| author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-08-31 12:28:51 +0000 |
|---|---|---|
| committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-08-31 12:28:51 +0000 |
| commit | 63e44451c528308ec1198b466203fedb797f1107 (patch) | |
| tree | a0faea630151b199e99d80f46368223a27b161b8 | |
| parent | fbfb402e69cdd9279c44b7684612e6f81df99e6d (diff) | |
makediff; mask changes in title, changelog
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@424 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
| -rwxr-xr-x | makediff.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/makediff.sh b/makediff.sh index 1d8b04b..0005612 100755 --- a/makediff.sh +++ b/makediff.sh @@ -8,8 +8,12 @@ rm -fr old new git clone $PWD old cd "${cur}/old" git checkout 40ba29870a685004fc4d4458778bcd038f200524 -#suppress diff of list of chairs, output is ugly -#git cherry-pick d8bce4c50e5851fe45ad735e3ccd1afe46448a5d +#suppress diff of title +git cherry-pick 42ef1dd895681a9b387d2c624771f1784c42a3d8 +#suppress diff of changelog +git cherry-pick 2cf864d5659977040fdbc7a60f5e0530611f71da +git cherry-pick 523d7d957f4cd93c8b58a24f6bb6a3b4d64d0b99 + #mv specvars.tex specvars-orig.tex #make links green to avoid confusion #sed s/blue/pinegreen/ specvars-orig.tex > specvars.tex |