File mttroot/mtt/bin/trans/cr_txt2h artifact 88b30d44c1 part of check-in 9f2a0a7535

#! /bin/sh

gawk '{
 printf ("#include \"%s/cr/hh/%s.hh\"\n", mttlib, $0)
 }' mttlib=${MTT_LIB}