Move scripts to bin

Makefile

@@ -6,16 +6,16 @@ lime2test:
 	@[ "${HOSTNAME}" != lime2 ]
 
 cours: lime2test
-	@./pull-cours.sh
+	@./bin/pull-cours.sh
 
 procedures: lime2test header.html footer.html procedures/index.template.html
-	@./pull-procedures.sh
+	@./bin/pull-procedures.sh
 
 cv: lime2test
-	@./pull-cv.sh
+	@./bin/pull-cv.sh
 
 index: lime2test header.html footer.html index.template.html
-	@./create-index.sh
+	@./bin/create-index.sh
 
 serve:
 	@python -m http.server

bin/create-index.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# This script is executed by make in the parent directory
+
 [ "$HOSTNAME" != lime2 ] || exit 1
 
 echo "Updating index.html"

bin/pull-cours.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# This script is executed by make in the parent directory
+
 [ "$HOSTNAME" != lime2 ] || exit 1
 
 echo -n "Pulling cours... "

bin/pull-cv.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# This script is executed by make in the parent directory
+
 [ "$HOSTNAME" != lime2 ] || exit 1
 
 echo -n "Pulling CV... "

bin/pull-procedures.sh

@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# This script is executed by make in the parent directory
+
 [ "$HOSTNAME" != lime2 ] || exit 1
 
 awk -v header="$(<./header.html)" '{sub(/===HEADER===/,header)} 1' ./procedures/index.template.html |