diff options
Diffstat (limited to 'reproduce/analysis/config')
| -rw-r--r-- | reproduce/analysis/config/pdf-build.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/analysis/config/pdf-build.mk b/reproduce/analysis/config/pdf-build.mk index 3a86ff3..c75f5d1 100644 --- a/reproduce/analysis/config/pdf-build.mk +++ b/reproduce/analysis/config/pdf-build.mk @@ -18,4 +18,4 @@ # permitted in any medium without royalty provided the copyright notice and # this notice are preserved. This file is offered as-is, without any # warranty. -pdf-build-final = yes +pdf-build-final = |