diff options
Diffstat (limited to 'reproduce/src/make/paper.mk')
| -rw-r--r-- | reproduce/src/make/paper.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/src/make/paper.mk b/reproduce/src/make/paper.mk index 4006070..17d59bf 100644 --- a/reproduce/src/make/paper.mk +++ b/reproduce/src/make/paper.mk @@ -135,6 +135,6 @@ paper.pdf: tex/pipeline.tex paper.tex $(texbdir)/paper.bbl \ # Come back to the top pipeline directory and copy the built PDF # file here. cd $$p - cp $(texbdir)/$@ $@ + cp $(texbdir)/$@ $(final-paper) fi |