diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 96beacf3282..166a2733d21 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -223,7 +223,7 @@ grep -v '<small>Generated' doc.html >$temp.doc.cur if $diff $temp.doc.cur $temp.doc.new >$temp.doc.diff; then $verbose " doc.html ok." else - $chicken $cp $temp.doc.new doc.html + $chicken $cp $temp.doc doc.html update_list="$update_list doc.html" fi fi # !config_scripts_only |