Source Code Documentation
From TinyOS Documentation Wiki
TinyOS has nesdoc, a documentation generation utility similar to javadoc. It takes as input source files with comments and generates HTML documentation from the comments.
TinyOS 2.1.0 source documentation
