diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-17 04:55:58 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-17 04:55:58 +0100 |
| commit | d11725a09133a422dbad19f46caa088bd0bca3a9 (patch) | |
| tree | 94ec18b1ff1324837888e3b16025c835f7958f5b /reproduce/analysis/make/top-make.mk | |
| parent | 30bf4624adf40e9611ad8f6a0214e725b2ea88af (diff) | |
| parent | 6e4ec9a305f7021643fe22e08fe0ad17dd363a93 (diff) | |
Imported recent work in Maneage, minor conflicts fixed
Some minor conflicts (all expected from the commit messages in the Maneage
branch) occurred but were easily fixed.
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
| -rw-r--r-- | reproduce/analysis/make/top-make.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/reproduce/analysis/make/top-make.mk b/reproduce/analysis/make/top-make.mk index 6b055f7..27c1b5b 100644 --- a/reproduce/analysis/make/top-make.mk +++ b/reproduce/analysis/make/top-make.mk @@ -51,7 +51,7 @@ include reproduce/software/config/LOCAL.conf # Controlling this requires two variables that are available at this stage: # # - `GROUP-NAME': from `LOCAL.conf' (which was built by `./project configure'). -# - `reproducible_paper_group_name': value to the `--group' option. +# - `maneage_group_name': value to the `--group' option. # # The analysis is only done when both have the same group name. Note that # when the project isn't being built for a group, both variables will be an @@ -69,7 +69,7 @@ top-pdfs = paper.pdf else top-pdfs = paper.pdf supplement.pdf endif -ifeq (x$(reproducible_paper_group_name),x$(GROUP-NAME)) +ifeq (x$(maneage_group_name),x$(GROUP-NAME)) all: $(top-pdfs) else all: |