echo Merging  documentation files
for filename in ./src/documentation/*.md; do
	echo $filename merge
	echo >> ./README.md
	cat $filename  >> ./README.md
done