() [email protected] (Karl Berry) () Sat, 26 May 2012 20:59:13 GMT I think it's better to add "media files" than to replace "help files". Help files are not, generally speaking, media files except by the broadest and most unusual definition.
I agree that help files are not media files. My point was that help files are documentation, and thus already "covered" (roughly) by "manuals". So, s/help/media/ is actually an elision of two operations: removing "help files" and adding "media files". Anyway, no big deal; next time i'll try to explain myself better. With that tiny emendation, the change is so small I feel ok about installing it myself, so I did. (Plus a Texinfo fix. :) I didn't bother updating the web site, etc., since I know more changes are coming :). Cool. For future changes: when it comes to *.texi, I find unidiffs simpler to read. I'll make the context diffs to rms :). Yeah, the extra effort was for RMS; glad to hear you'll handle that.
