Rename linemin.txt to doc/linemin.txt