#!/bin/bash # clear out the old files and copy back the files [ -x output ] && rm -rf output/ && mkdir output [ ! -x output ] && mkdir output # just in case ö_ö cp -r ressources-orig output/ressources insHeader(){ #takes $1 for the title cat <<< '' cat <<< '
' cat <<< "