4 May
2003
4 May
'03
2:01 p.m.
Jonathan wrote:
Running indent again on the same source produces more changes. It looks like some comments are getting put all the way to the right and running indent again moves them to the right some more.
To successfully use indent, one has to discover a style of comments that a particular set of indent settings favors, and then convert the comments to that style. This is a big effort, big enough that it is hard to globally. It is feasible to convert a file at a time. But once we get the hang of it we can distrinute the effort. Tim