aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/pdf-build.mk
diff options
context:
space:
mode:
Diffstat (limited to 'reproduce/config/pipeline/pdf-build.mk')
-rw-r--r--reproduce/config/pipeline/pdf-build.mk14
1 files changed, 14 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/pdf-build.mk b/reproduce/config/pipeline/pdf-build.mk
new file mode 100644
index 0000000..504d0bd
--- /dev/null
+++ b/reproduce/config/pipeline/pdf-build.mk
@@ -0,0 +1,14 @@
+# Make the final PDF?
+# -------------------
+#
+# During the testing a pipeline, it is usually not necessary to build
+# the PDF file (which makes a lot of output lines on the command-line
+# and can make it hard to find the commands and possible errors (and
+# their outputs). Also, in some cases, only the produced results may
+# be of interest and not the final PDF, so LaTeX (and its necessary
+# packages) may not be installed.
+#
+# If this variable is given any string, a PDF will be made with
+# LaTeX. Otherwise, a notice will just printed that for now, no PDF
+# will be created.
+pdf-build-final = yes