summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-07-27 17:10:26 +0000
committerKarl Berry <karl@freefriends.org>2008-07-27 17:10:26 +0000
commit04e067f56665ad2e358e385f969ec8e2e7544a94 (patch)
tree781e8077aaecab5174f94001a5dd385eb0b46c51
parent4f4723971c3254f08cb322e61e561c7aeec9954c (diff)
ignore .TH line (includes mtime) in tlmgr.1 comparison.
git-svn-id: svn://tug.org/texlive/trunk@9817 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/tl-update-auto14
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