> Can you go through and make the same change to all the other manuals > and > send me the diff? Certainly. By "the other manuals" I assume you mean those listed on: http://www.gnu.org/manual/manual.html -- or is there some other, more accessible list? In any case, just to start, here's a patch for EMMS's manual.