r10675: remove commands commented-out
[ctsim.git] / doc / make-help
2001-01-31 Kevin M. Rosenbergr478: no message