diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-27 17:10:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-27 17:10:26 +0000 |
commit | 04e067f56665ad2e358e385f969ec8e2e7544a94 (patch) | |
tree | 781e8077aaecab5174f94001a5dd385eb0b46c51 /Master/tlpkg | |
parent | 4f4723971c3254f08cb322e61e561c7aeec9954c (diff) |
ignore .TH line (includes mtime) in tlmgr.1 comparison.
git-svn-id: svn://tug.org/texlive/trunk@9817 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 1293f489053..a46b0bb1283 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -141,11 +141,21 @@ for gnuconf in config.guess config.sub; do done -# tlmgr man page autogenerated. +# tlmgr man page autogenerated. Don't worry about a date difference. # +# return 0 if files $1 and $2 are the same except for the first lines. +# (we need to ignore the timestamps in the generation lines.) +same_except_for_th () +{ + rm -f /tmp/seft1 /tmp/seft2 + sed '/^\.TH/d' <"$1" >/tmp/seft1 + sed '/^\.TH/d' <"$2" >/tmp/seft2 + cmp -s /tmp/seft1 /tmp/seft2 +} + manfile=texmf/doc/man/man1/tlmgr.1 pod2man bin/i386-linux/tlmgr >$temp -if $diff $manfile $temp >$temp.tlmgr.diff; then +if same_except_for_th $manfile $temp; then echo " `basename $manfile` ok." rm -f $manfile.new else |