diff --git a/Makefile b/Makefile index 6811cc4..ace4e42 100644 --- a/Makefile +++ b/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 diff --git a/create-index.sh b/bin/create-index.sh similarity index 83% rename from create-index.sh rename to bin/create-index.sh index e83bdc2..0f83e56 100755 --- a/create-index.sh +++ b/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" diff --git a/pull-cours.sh b/bin/pull-cours.sh similarity index 84% rename from pull-cours.sh rename to bin/pull-cours.sh index cd2cc14..450b36e 100755 --- a/pull-cours.sh +++ b/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... " diff --git a/pull-cv.sh b/bin/pull-cv.sh similarity index 77% rename from pull-cv.sh rename to bin/pull-cv.sh index 24ea458..86fd576 100755 --- a/pull-cv.sh +++ b/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... " diff --git a/pull-procedures.sh b/bin/pull-procedures.sh similarity index 95% rename from pull-procedures.sh rename to bin/pull-procedures.sh index 554d22c..aadab29 100755 --- a/pull-procedures.sh +++ b/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 |