2020-10-04 11:37:37 +02:00
|
|
|
#!/usr/bin/env bash
|
2020-09-20 21:09:07 +02:00
|
|
|
|
2020-11-29 23:41:18 +01:00
|
|
|
cd "$(dirname "${BASH_SOURCE[0]}")" || exit
|
2020-10-04 12:07:22 +02:00
|
|
|
|
2020-10-04 00:31:28 -07:00
|
|
|
python="python3"
|
|
|
|
|
if ! command -v python3 &>/dev/null; then python="python"; fi
|
|
|
|
|
"$python" create_highlighted_versions.py -O highlighted
|