#!/usr/bin/env bash

# shopt -s globstar
dirs=(.. ../Basics ../Lyndon ../Graph_Lemma ../examples ../Equations ../Textbook)
target="../Combinatorics-On-Words-Formalized"

echo "There are ${#dirs[@]} dirs in the current path"
echo "Target is ${target}."

mkdir ${target}

let i=1

for dir in "${dirs[@]}"; do
    echo "$((i++)) $dir"
    # readarray -t dirs < <(find . -maxdepth 1 -type d -printf '%P\n')
    find $dir -name "*.thy" -maxdepth 1 -type f -print0 | while read -d $'\0' file
		do
		    echo "…code using ${file}"
		    cp ${file} "${target}/$(basename $file)"
		    sed -i '
s/CoW\.//g
s/CoW_Lyndon\.//g
s/CoW_Graph_Lemma\.//g
s/CoW_Equations\.//g
s/\@{theory CoWBasic\}/CoWBasic/g
' "${target}/$(basename $file)"
		done
done