Remove directory scripts

.gitlab-ci.yml

@@ -7,7 +7,7 @@ variables:
     stage: build
     script:
       - export INSTALL_DOCUMENTATION=OFF
-      - $CI_PROJECT_DIR/script/auto-install-hpp.sh --branch ${CI_COMMIT_REF_NAME} --gitrepo ${CI_PROJECT_URL}/raw --target test-ci
+      - $CI_PROJECT_DIR/scripts/auto-install-hpp.sh --branch ${CI_COMMIT_REF_NAME} --gitrepo ${CI_PROJECT_URL}/raw --target test-ci
     after_script:
       - mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
     artifacts:

README.md

@@ -17,15 +17,6 @@ For installation instructions, visit
 the [HPP website](https://humanoid-path-planner.github.io/hpp-doc)
 or [these instructions](doc/instructions.md).
 
-## Build docker images for CI
+## Instructions for developers
 
-```
-branch=$(git branch --no-color | grep \* | cut -d' ' -f2)
-for ubuntu in 14.04 16.04
-do
-    docker build -t eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/ubuntu:${ubuntu} -f .dockers/ubuntu-${ubuntu}/Dockerfile ./script
-    docker build -t eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/${branch}-premade:${ubuntu} -f .dockers/ubuntu-${ubuntu}/Dockerfile.premade ./script
-    docker push eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/ubuntu:${ubuntu}
-    docker push eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/${branch}-premade:${ubuntu}
-done
-```
+See `scripts/README.md` for instructions for developers.

script/README.md → scripts/README.md

@@ -22,3 +22,16 @@ You will find three files in the directory `${DEVEL_HPP_DIR}/tarball/`:
 * a bash script called `check.***.sh` that should be used in order to resolve the dependencies on a new computer,
 * a tarball called `hpp.***.tar.gz` containing only the binaries,
 * a tarball called `hpp.src.***.tar.gz` containing the binaries and the source files.
+
+## Build docker images for CI
+
+```
+branch=$(git branch --no-color | grep \* | cut -d' ' -f2)
+for ubuntu in 14.04 16.04
+do
+    docker build -t eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/ubuntu:${ubuntu} -f .dockers/ubuntu-${ubuntu}/Dockerfile ./scripts
+    docker build -t eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/${branch}-premade:${ubuntu} -f .dockers/ubuntu-${ubuntu}/Dockerfile.premade ./scripts
+    docker push eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/ubuntu:${ubuntu}
+    docker push eur0c.laas.fr:5000/humanoid-path-planner/hpp-doc/${branch}-premade:${ubuntu}
+done
+```