diff options
Diffstat (limited to 'reproduce/config/pipeline/pdf-build.mk')
| -rw-r--r-- | reproduce/config/pipeline/pdf-build.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/reproduce/config/pipeline/pdf-build.mk b/reproduce/config/pipeline/pdf-build.mk index 02af72d..3a86ff3 100644 --- a/reproduce/config/pipeline/pdf-build.mk +++ b/reproduce/config/pipeline/pdf-build.mk @@ -1,9 +1,9 @@ # 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 +# During the project's early phases, 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. |