File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -116,15 +116,16 @@ dates: meta-data/dates
116
116
117
117
# Generate file with issue number and unix timestamp of last change.
118
118
meta-data/dates : xml/issue[0-9]* .xml
119
- for i in xml/issue[0-9]* .xml ; do \
119
+ @echo " Refreshing 'Last modified' timestamps for issues..."
120
+ @for i in xml/issue[0-9]* .xml ; do \
120
121
n=" $$ {i#xml/issue}" ; n=" $$ {n%.xml}" ; \
121
122
grep -s -q " ^$$ n " $@ && test $$ i -ot $@ && continue ; \
122
123
echo $$ i >&2 ; \
123
124
git log -1 --pretty=" format:$$ n %ct%n" $$ i ; \
124
125
done > $@ .new
125
- cat $@ $@ .new | sort -n -r | sort -n -k 1 -u > $@ .tmp
126
- rm $@ .new
127
- $(call update,$@ )
126
+ @ cat $@ $@ .new | sort -n -r | sort -n -k 1 -u > $@ .tmp
127
+ @ rm $@ .new
128
+ @ $(call update,$@ )
128
129
129
130
130
131
new-papers :
You can’t perform that action at this time.
0 commit comments