revise the doc/infrastructure.txt