aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/web.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-08 09:55:59 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-08 09:55:59 +0100
commit0888a2b9017f1e588c011520326dd7eb30d60697 (patch)
treeb9612e4bafe696418afd7dc5d9eee39109c2230d /reproduce/config/pipeline/web.mk
parent65d9e1b9d1a6582fbf90f83d39a629ef25cee2b1 (diff)
Initialization results now a .PHONY target
Recently the filename keeping TeX macros for the versions was changed from `versions.tex' to `initialization.tex' (since it also contained the build directory). However, it was forgotten to correct the change of name in the `.PHONY' targets, so it was not being rebuilt every time. This is corrected now.
Diffstat (limited to 'reproduce/config/pipeline/web.mk')
0 files changed, 0 insertions, 0 deletions