Hello, I just would like to point out that in my TeXLive 2012 (MacTeX, not updated yet) texdoc stubs opens stubs_ex.pdf instead of stubs.pdf. Regards, Jürgen.