diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 09:55:59 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 09:55:59 +0100 |
| commit | 0888a2b9017f1e588c011520326dd7eb30d60697 (patch) | |
| tree | b9612e4bafe696418afd7dc5d9eee39109c2230d /reproduce/config | |
| parent | 65d9e1b9d1a6582fbf90f83d39a629ef25cee2b1 (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')
0 files changed, 0 insertions, 0 deletions