diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-26 18:10:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-26 18:10:58 +0000 |
commit | 792834f087e5d6fa723eb7b0101693636a22d533 (patch) | |
tree | 94ec1000d52586974175b16f8f1ab06969a153fd /Master/tlpkg/bin/tl-update-man | |
parent | fe136e3276dbd8a40f1a1ac60a756cfdfe68ee50 (diff) |
update man pages from la(te)st build
git-svn-id: svn://tug.org/texlive/trunk@9788 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-man')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-man | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-man b/Master/tlpkg/bin/tl-update-man new file mode 100755 index 00000000000..f298d6d346c --- /dev/null +++ b/Master/tlpkg/bin/tl-update-man @@ -0,0 +1,37 @@ +#!/bin/sh +# $Id$ +# This script is run by hand at the end of a release cycle to copy the +# man pages from the temporary install tree resulting from a normal +# build to the live Master hierarchy. + +mydir=`cd \`dirname $0\` && pwd` +Master=`cd $mydir/../.. && pwd` +Build=`cd $Master/../Build && pwd` +Build_inst=`cd $Build/source/inst && pwd` + +: ${TMPDIR=/tmp} + +for sect in 1 5; do + # existing: + rundir=$Master/texmf/doc/man/man$sect + (cd $rundir && ls) >$TMPDIR/now + + # from a current build: + cd $Build_inst/share/man/man$sect || exit 1 + ls >$TMPDIR/new + + # omit symlinks since they are now files using .so. (xxtodo should check) + find -type f | sort | xargs tar cf - | (cd $rundir && tar xf -) + + # add new: + comm -13 $TMPDIR/now $TMPDIR/new >$TMPDIR/needed.$sect + test -s $TMPDIR/needed && (cd $rundir && svn add `cat $TMPDIR/needed`) + + # do not delete, since some man pages aren't installed from the build, + # but just in case we want to look: + comm -23 $TMPDIR/now $TMPDIR/new | grep -v '\.pdf$' >>$TMPDIR/extraman.$sect + + # see what we've done: + (cd $rundir && svn status) +done + |