diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:09:21 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:09:21 +0000 |
commit | 68304f6eb47c1369c8fba6dc7a62261d90d102bc (patch) | |
tree | 042cb2f04800bd7a7079ee4683c0acc006468b41 | |
parent | fc909fe92ed69417c7b75581cae5179d451bc46e (diff) |
Minor edit/correction in README.md
The note to the pipeline designers was corrected to display properly on
Gitlab.
-rw-r--r-- | README.md | 17 |
1 files changed, 8 insertions, 9 deletions
@@ -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 |