diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-20 18:01:06 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-20 18:05:39 +0000 |
commit | c54642a9d2cb63181814a0bfa76b55897cbc4801 (patch) | |
tree | d4640bfbb5164562f43488ff32a31688ac05a835 /reproduce/software/make/README.md | |
parent | 6dcfac476fdb8334fc682304e12a5db6f21b3a22 (diff) |
Preparation phase: prepare.tex not needed to finish preparation
Until now, the final preparation target of the preparation phase depended
on all the `$(makesrc)' files. This caused a problem because we were
telling it to also depend on `prepare.tex' (which is the same file that is
being built).
With this commit, we are applying the same solution we have already done in
`paper.mk' (for `paper.tex'): we are removing `prepare' from the list of
prerequisites.
This bug was found by Zahra Sharbaf.
Diffstat (limited to 'reproduce/software/make/README.md')
0 files changed, 0 insertions, 0 deletions