Jendrik adapts "new-scripts", Malte adapts everything else ("scripts",
"build_all", documentation on the wiki, anything else?).
The scripts should support both the old and the new name for a while, so some
parts needs to be made a bit more intelligent than they are currently. Maybe
some functionality like that is already implemented to support both the old
"make release; ./release-search" and the new "make; ./downward"?
|