diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-01 00:06:02 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-01 00:06:02 +0100 |
commit | 67b1fe89dc6ec608c69f04c19941db6e3679c1e3 (patch) | |
tree | c36bcee3b38df3ae14df48ff290972ca093bc4db /reproduce/config/pipeline/pdf-build.mk | |
parent | a1aedecd601788bc7a3f34848fdfa6531fb873b6 (diff) |
Added short copyright notice on configuration files
A short, all-permisive copyright notice was added to the configuration
files that were missing one.
Diffstat (limited to 'reproduce/config/pipeline/pdf-build.mk')
-rw-r--r-- | reproduce/config/pipeline/pdf-build.mk | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/reproduce/config/pipeline/pdf-build.mk b/reproduce/config/pipeline/pdf-build.mk index 504d0bd..ee421ab 100644 --- a/reproduce/config/pipeline/pdf-build.mk +++ b/reproduce/config/pipeline/pdf-build.mk @@ -1,14 +1,19 @@ # 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. +# 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. +# LaTeX. Otherwise, a notice will just printed that for now, no PDF will be +# created. +# +# Copying and distribution of this file, with or without modification, are +# 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 |