diff options
Diffstat (limited to 'Master/Tools/update-lists')
-rwxr-xr-x | Master/Tools/update-lists | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/Master/Tools/update-lists b/Master/Tools/update-lists index 8a1f9907b35..fca393bc9e6 100755 --- a/Master/Tools/update-lists +++ b/Master/Tools/update-lists @@ -38,9 +38,7 @@ done echo "$0: regenerated lists." $chicken && exit 0 -#cd texmf/lists || exit 1 -#chmod 444 * >&/dev/null # we created them according to umask -# -#find . -type f | p4 -x - add 2>&1 | grep -v add.existing -#p4 diff -sd ... | p4 -x - delete -#p4 diff -se ... | p4 -x - edit +echo "$0: updating lists in repository." +cd texmf/lists || exit 1 +svn commit -m'update-lists autoupdate' +# xx must svn remove old lists somehow |