diff options
| -rwxr-xr-x | sources/master/update.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/sources/master/update.sh b/sources/master/update.sh index 85c3ee7..12c3ad4 100755 --- a/sources/master/update.sh +++ b/sources/master/update.sh @@ -58,9 +58,5 @@ fi m4 --prefix-builtins -D __DIR__=$DIR history_update.sql | sqlite3 $HISTORY_DB -# Remove old *.lst files. This is only temporary and can be removed once -# everybody has the new version which doesn't create these files any more -rm -f frequent_tags.lst interesting_relation_types.lst interesting_tags.lst - echo "`$DATECMD` Done master." |