../ highlighted/#1244 Use [].copy and path.exists instead of more cumbersome solutions6 years ago source/Updated creation script and README to match generation script6 years ago compare_highlighted_versions.pyAdd comparison script6 years ago create_highlighted_versions.pyUpdated creation script and README to match generation script6 years ago regression_test.shReplace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available6 years ago update.shAdd change dir to script dir to allow running from project root dir6 years ago