#!/usr/bin/bash set -e cd "$(dirname "$(realpath "$0")")" dl_ref="$(wget -qO- https://grammalecte.net/ | grep '