Hot to edit the manual

[1] edit massivethreads_src.tex.  You need to worry about
inserting @node.  
[2] run make

Never edit massivethreads.tex, which is generated
from massivethreads_src.tex by make_texinfo.el


