merge some part of README into tex doc