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 | |
| 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')
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index 19447a6..acc527d 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -442,7 +442,7 @@ print-copyright = \ echo "\# Git commit (that produced this dataset): $(project-commit-hash)" >> $(1); \ echo "\# Project's Git repository: $(metadata-git-repository)" >> $(1); \ if [ x$(metadata-arxiv) != x ]; then \ - echo "\# Pre-print server: arXiv:$(metadata-arxiv)" >> $(1); fi; \ + echo "\# Pre-print server: https://arxiv.org/abs/$(metadata-arxiv)" >> $(1); fi; \ if [ x$(metadata-doi-journal) != x ]; then \ echo "\# DOI (Journal): $(metadata-doi-journal)" >> $(1); fi; \ if [ x$(metadata-doi-zenodo) != x ]; then \ |