diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 05:27:36 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-04 05:27:36 +0100 |
| commit | 2c53017c92ad7538317d2da878ff48caa611b93b (patch) | |
| tree | 54412fdf19d8f2121f01c77aa5e6f18abfbb75a7 /reproduce/analysis/make/verify.mk | |
| parent | e3bdc607a7fca8ebd876e1fa6002e679ad32f2c4 (diff) | |
Minor improvements in the make dist command for this paper
This paper doesn't use pdflatex or biblatex, so it was necessary to make
some small corrections in the make-dist rule of initialize.mk. Also, while
testing the upload on arXiv, I noticed that it complains about an empty
'verify.tex' file, so that is also corrected.
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
| -rw-r--r-- | reproduce/analysis/make/verify.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/reproduce/analysis/make/verify.mk b/reproduce/analysis/make/verify.mk index 1573920..fb8afc0 100644 --- a/reproduce/analysis/make/verify.mk +++ b/reproduce/analysis/make/verify.mk @@ -119,7 +119,9 @@ $(mtexdir)/verify.tex: $(foreach s, $(verify-dep), $(mtexdir)/$(s).tex) fi $(call verify-txt-no-comments-leading-space, $$file, $$s) done - fi - # Make an empty final target. - touch $@ + # Make an empty final target. + echo "%% Project outputs are verified." > $@ + else + echo "%% Project outputs NOT VERIFIED!!!" > $@ + fi |