summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/isodoc/inst
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-02-22 00:14:58 +0000
committerKarl Berry <karl@freefriends.org>2012-02-22 00:14:58 +0000
commit24e68c3d328456d62a51f80bc3be2112f6f6c89a (patch)
tree9e09ca3316da1b07a10e29365ba6fe86610b2ef0 /Master/texmf-dist/doc/latex/isodoc/inst
parent001c3b3f1c1276d6502d5b744a00590284ba2068 (diff)
isodoc (21feb12)
git-svn-id: svn://tug.org/texlive/trunk@25464 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/isodoc/inst')
-rw-r--r--Master/texmf-dist/doc/latex/isodoc/inst6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/latex/isodoc/inst b/Master/texmf-dist/doc/latex/isodoc/inst
index 59611d549d0..61a91143c9b 100644
--- a/Master/texmf-dist/doc/latex/isodoc/inst
+++ b/Master/texmf-dist/doc/latex/isodoc/inst
@@ -39,7 +39,7 @@ if [ "$LOCAL" = "" ]; then
echo 'Could not find value for $TEXMFLOCAL'
exit 1
fi
-LOCAL=${LOCAL}tex/latex/$NAME
+LOCAL=${LOCAL}/tex/latex/$NAME
ln -sf ../$NAME.dtx
ln -sf ../$NAME.ins
ln -sf ../isodocsymbols.sty
@@ -93,7 +93,7 @@ zip)
test -f $NAME.glo && makeindex -q -s gglo.ist -o $NAME.gls $NAME.glo
test -f $NAME.idx && makeindex -q -s gind.ist -o $NAME.ind $NAME.idx
pdflatex --interaction=batchmode $NAME.dtx > /dev/null
- texlog_extract $NAME
+ texlog_extract $NAME |uniq
echo install in local tree
rm -rf $LOCAL
@@ -106,4 +106,4 @@ zip)
exit 1
;;
esac
-# $Id: inst,v 1.20 2012/02/19 20:18:18 wybo Exp $
+# $Id: inst,v 1.22 2012/02/21 16:50:08 wybo Exp $