diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-09 03:58:19 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-09 03:58:19 +0100 |
| commit | 7bdbd6e61f132ac8f6851637d40fd06f8d6b7182 (patch) | |
| tree | 0a194700d3c0ce4ee7b2652c5ae7a985cd3f02bf /reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch | |
| parent | 623ae15c95bb8575b111709705c29b10fcf7c12b (diff) | |
Minor edit printing arXiv URL in plain text metadata
Until now, in the 'print-copyright' function of 'initialize.mk' (that
prints a fixed set of common meta necessary in plain-text files), we were
simply printing this line:
# Pre-print server: arXiv:1234.56789
But given that all the other elements are click-able URLs, it now prints:
# Pre-print server: https://arxiv.org/abs/1234.56789
Diffstat (limited to 'reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch')
0 files changed, 0 insertions, 0 deletions