diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-18 00:57:43 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-18 00:57:43 +0000 |
commit | 4483a81c4254596dd2fa977e7a2faf6f28a7ac6f (patch) | |
tree | 1150c399a436c0ef1c44d4f1673b6c85e1eaff4c /reproduce/analysis/make/verify.mk | |
parent | 0c120cbc1575675f96a99703af28a45d8adda2db (diff) |
First set of customizations done
The unnecessary parts were removed and the project now runs.
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
-rw-r--r-- | reproduce/analysis/make/verify.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/reproduce/analysis/make/verify.mk b/reproduce/analysis/make/verify.mk index 1173f2c..a04bce4 100644 --- a/reproduce/analysis/make/verify.mk +++ b/reproduce/analysis/make/verify.mk @@ -114,8 +114,7 @@ $(mtexdir)/verify.tex: $(foreach s, $(verify-dep), $(mtexdir)/$(s).tex) # Verify TeX macros (the values that go into the PDF text). for m in $(verify-check); do file=$(mtexdir)/$$m.tex - if [ $$m == delete-me ]; then s=711e2f7fa1f16ecbeeb3df6bcb4ec705 - elif [ $$m == download ]; then s=6749e17ce606d57d30cebdbc1a5d23ad + if [ $$m == download ]; then s=XXXXX else echo; echo "'$$m' not recognized."; exit 1 fi $(call verify-txt-no-comments-leading-space, $$file, $$s) |