Scripts: more typos
This commit is contained in:
parent
97a1b9160a
commit
e4e30bb3d8
@ -1,13 +1,13 @@
|
||||
#! /bin/sh
|
||||
|
||||
# Update the repository of opam packages used by tezos. Tezos uses a
|
||||
# private, epurated, opam repository to store all its
|
||||
# private, shrunk down, opam repository to store all its
|
||||
# dependencies. This is generated by the official opam repository
|
||||
# (branch master) and then filtered using opam admin to include only
|
||||
# the cone of tezos dependencies. This repository is then used to
|
||||
# create the based opam image used by the CI to compile tezos and to
|
||||
# generate the docker images. From time to time, when it is necessary
|
||||
# to update a dependency, this repository should manually
|
||||
# to update a dependency, this repository should be manually
|
||||
# refreshed. This script takes care of generating a patch for the
|
||||
# private opam tezos repository. This patch must be applied manually
|
||||
# w.r.t. the master branch. The procedure is as follows :
|
||||
|
Loading…
Reference in New Issue
Block a user