diff options
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: |