diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:36:23 +0000 |
| commit | ea6bc6f08632056132ecfc2cb9a22101516b219c (patch) | |
| tree | 84d47b86a86d466839ad76ea1f701ec60f4ce7ec | |
| parent | bc860926afc0f5486d59f3f186847445bf6f314a (diff) | |
Minor corrections in `README-hacking.md' after verification
In the previous commit, I had forgot to update a small part in the
checklist (when modifying `top-make.mk') which is now corrected.
I also added a few sentences in the description of how to customize the
verification to make it easier to understand.
| -rw-r--r-- | README-hacking.md | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/README-hacking.md b/README-hacking.md index 82c28f7..ec6bf4e 100644 --- a/README-hacking.md +++ b/README-hacking.md @@ -637,7 +637,7 @@ First custom commit - `reproduce/analysis/make/top-make.mk`: Delete the `delete-me` line in the `makesrc` definition. Just make sure there is no empty line - between the `download \` and `paper` lines. + between the `download \` and `verify \` lines. - `reproduce/analysis/make/verify.mk`: In the final recipe, under the commented line `Verify TeX macros`, remove the full line that @@ -809,9 +809,12 @@ Other basic customizations `reproduce/analysis/config/verify-outputs.mk` to `yes`. Then go to `reproduce/analysis/make/verify.mk`. The verification of all the files is only done in one recipe. First the files that go into the - plots/figures are checked, then the LaTeX macros. The important thing - to consider is that a simple checksum can be problematic because some - file generators print their run-time date in the file (for example as + plots/figures are checked, then the LaTeX macros. Validation of the + former (inputs to plots/figures) should be done manually. You can see + two examples of the dummy steps (with `delete-me`). For the latter, + you just have to update the checksums. The important thing to consider + is that a simple checksum can be problematic because some file + generators print their run-time date in the file (for example as commented lines in a text table). When checking text files, this Makefile already has this function: `verify-txt-no-comments-leading-space`. As the name suggests, it will |