diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index fec43f1ead6..aeae607a4e3 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -10,6 +10,10 @@ umask 0 chicken=echo chicken= +# +verbose=echo +verbose= +# cp="cp -fv" mv="mv -fv" diff="diff -U 2" @@ -31,7 +35,7 @@ update_list= if $config_scripts_only; then :; else $mydir/htmltext <readme-html.dir/readme.en.html >$temp if $diff readme-txt.dir/README.EN $temp >$temp.en.diff; then - echo " README.EN ok." + $verbose " README.EN ok." else $chicken $cp $temp readme-txt.dir/README.EN update_list="$update_list readme-txt.dir/README.EN" @@ -45,7 +49,7 @@ modesmaster=/home/ftp/tex/modes.mf modesslave=texmf-dist/metafont/misc/modes.mf # if $diff $modesslave $modesmaster >$temp.modes.diff; then - echo " $modesslave ok." + $verbose " $modesslave ok." else $chicken $cp $modesmaster $modesslave update_list="$update_list $modesslave" @@ -59,7 +63,7 @@ tximaster=/home/ftp/tex/texinfo.tex txislave=texmf-dist/tex/texinfo/texinfo.tex # if $diff $txislave $tximaster >$temp.txi.diff; then - echo " $txislave ok." + $verbose " $txislave ok." else $chicken $cp $tximaster $txislave update_list="$update_list $txislave" @@ -76,7 +80,7 @@ for basef in ChangeLog Makefile bitstrea.aka \ fontname.pdf fontname.html fontname.texi; do fontnameslavef=$fontnamedocslave/$basef if $diff $fontnamemaster/$basef $fontnameslavef >$temp.$basef.diff; then - echo " $fontnameslavef ok." + $verbose " $fontnameslavef ok." else $chicken $cp $fontnamemaster/$basef $fontnameslavef update_list="$update_list $fontnameslavef" @@ -92,7 +96,7 @@ for basef in $files; do test $basef = wolfram.map && continue # obsolete for TL fontnamemapslavef=$fontnamemapslave/$basef if $diff $fontnamemaster/$basef $fontnamemapslavef >$temp.$basef.diff; then - echo " $fontnamemapslavef ok." + $verbose " $fontnamemapslavef ok." else $chicken $cp $fontnamemaster/$basef $fontnamemapslavef update_list="$update_list $fontnamemapslavef" @@ -105,7 +109,7 @@ files=`cd $fontnamemaster && ls *.enc | egrep -vw '(groff|t5).enc'` for basef in $files; do fontnameencslavef=$fontnameencslave/$basef if $diff $fontnameencslavef $fontnamemaster/$basef >$temp.$basef.diff; then - echo " $fontnameencslavef ok." + $verbose " $fontnameencslavef ok." else $chicken $cp $fontnamemaster/$basef $fontnameencslavef update_list="$update_list $fontnameencslavef" @@ -122,7 +126,7 @@ for gnuconf in config.guess config.sub install-sh missing mkinstalldirs; do local_conffile=../Build/source/config/$gnuconf # if $diff $local_conffile $master_conffile >$temp.$gnuconf.diff; then - echo " $gnuconf ok." + $verbose " $gnuconf ok." rm -f $temp else # updated needed. find all copies in source. @@ -162,7 +166,7 @@ tlmgr=texmf/scripts/texlive/tlmgr.pl # pod2man $tlmgr >$temp if same_except_for_th $manfile $temp; then - echo " `basename $manfile` ok." + $verbose " `basename $manfile` ok." rm -f $manfile.new else $chicken $mv $temp $manfile @@ -188,7 +192,7 @@ cp $temp.doc.new /tmp/x # grep -v '<small>Generated' doc.html >$temp.doc.cur if $diff $temp.doc.cur $temp.doc.new >$temp.doc.diff; then - echo " doc.html ok." + $verbose " doc.html ok." else $chicken $cp $temp.doc.new doc.html update_list="$update_list doc.html" |