# sed script for inserting the licence text into a file for distribution/\/\/ \$COPYRIGHT\$/ {	r license.hdr.cpp	d}/\/\*\*\* \$COPYRIGHT\$/ {	r license.hdr.cpp	d}/# \$COPYRIGHT\$/ {	r license.hdr.shell	d}/\$COPYRIGHT\$/ {	r license.hdr.cpp	d}