Firstly, the machine readable file can be output in a different order than the human readable. (Indeed, sequential chunks in the human readable output can be directed to multiple different files.)
Secondly, the human readable file includes 'outlining': when describing a function, parts of it can be elided and covered later.
Now, these may have been required because the target language was C(like), which has different properties from many other languages. But I did want to point out that Docco is a quite different point in the literate programming landscape.
For examples, see a couple of literate programs that I've written.
With Web (Knuth's tool): https://github.com/agl/rwb0fuz1024/raw/master/rwb0fuz1024.pd...
With my own tools: http://www.imperialviolet.org/binary/lsmsb.html