aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 14:09:21 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 14:09:21 +0000
commit68304f6eb47c1369c8fba6dc7a62261d90d102bc (patch)
tree042cb2f04800bd7a7079ee4683c0acc006468b41 /README.md
parentfc909fe92ed69417c7b75581cae5179d451bc46e (diff)
Minor edit/correction in README.md
The note to the pipeline designers was corrected to display properly on Gitlab.
Diffstat (limited to 'README.md')
-rw-r--r--README.md17
1 files changed, 8 insertions, 9 deletions
diff --git a/README.md b/README.md
index b5e3b1b..9e77bf0 100644
--- a/README.md
+++ b/README.md
@@ -46,15 +46,14 @@ This pipeline was designed to have as few dependencies as possible.
a directory given at configuration time), they will be
used. Otherwise, *GNU Wget* will be used to download any necessary
tarball. The necessary tarballs are also collected in the link
- below for easy download.
-
- https://XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
-
- [TO PIPELINE DESIGNERS: IT IS <<<STRONGLY RECOMMENDED>>> TO KEEP A
- BACKUP OF ALL THE NECESSARY TARBALLS YOU NEED FOR THE PROJECT
- (POSSIBLY IN ANOTHER GIT REPOSITORY). IF YOU DO MAKE ONE, PUT ITS
- URL IN THE PLACEHOLDER URL ABOVE. IF NOT, REMOVE THE PLACE HOLDER
- AND THE LAST LINE OF THE PRAGRAPH ABOVE IT.]
+ below for easy download. [[TO PIPELINE DESIGNERS: it is STRONGLY
+ RECOMMENDED to keep a backup of all the necessary software tarballs
+ you need for the project (possibly in another Git repository). If
+ you do have such a link, add it here. If not, remove teh
+ placeholder and the previous sentence. Also, don't forget to remove
+ this note.]]
+
+ https://XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
2. Configure the environment (top-level directories in particular) and
build all the necessary software for use in the next step. It is