Adding "git pull" to make sure local check out is in sync (I keep forgetting that)

This commit is contained in:
Derick Rethans 2022-06-07 09:45:11 +01:00
parent 6fe7ff95d9
commit 74202fac91

View file

@ -271,6 +271,7 @@ explained at the end of this document in
`web-php`:
```sh
git pull
git submodule init
git submodule update
cd distributions