nesdoc has now acquired a -quiet option to make it quiet (and it's now back to being noisy, by default) Also, make docs and make appdoc have a quiet option, e.g. make mica2 appdoc.quiet David