diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-14 17:48:40 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-14 17:49:55 +0100 |
| commit | 4722ea598edd6b630227404c48c1c09ac527e9b8 (patch) | |
| tree | d003841e5b986b01ef3a14cdf74b5a714261eff9 /reproduce/config/pipeline/pdf-build.mk | |
| parent | ece9eedff7857d58ed2d0f9f63ce6e28690982e1 (diff) | |
Replaced all occurances of pipeline in text
All occurances of "pipeline" have been chanaged to "project" or "template"
withint the text (comments, READMEs, and comments) of the template. The
main template branch is now also named `template'.
This was all because `pipeline' is too generic and couldn't be
distinguished from the base, and customized project.
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. |