* Robert Dewar: > In the case of interfaces to library routines, what we do > is to have fully commented Ada package specs that act as > both the documentation of the implementation interface and > as the user documentation (for an example, look at g-spipat.ads). > I can't see any value in duplicating this information elsewhere.
Duplication is how other GNU projects handle this. For instance, many Emacs Lisp functions are documented twice: once as a docstring in the source code (which is roughly equivalent to the comment-in-spec approach), and once in the Elisp reference (which is GFDLed).