! files (manuals, help files, etc.) in change logs. However, we've been
--- 3558,3564 ----
! files (manuals, media files, etc.) in change logs. However, we've been
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.
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 :).
For future changes: when it comes to *.texi, I find unidiffs simpler to
read. I'll make the context diffs to rms :).
Thanks,
Karl
--- standards.texi.~1.216.~ 2012-04-07 17:21:35.000000000 -0700
+++ standards.texi 2012-05-26 11:32:02.000000000 -0700
@@ -5,3 +5,3 @@
@c This date is automagically updated when you save this file:
-@set lastupdate April 7, 2012
+@set lastupdate May 26, 2012
@c %**end of header
@@ -3560,5 +3560,5 @@ definition to explain what it does.
In the past, we recommended not mentioning changes in non-software
-files (manuals, help files, etc.) in change logs. However, we've been
-advised that it is a good idea to include them, for the sake of
-copyright records.
+files (manuals, help files, media files, etc.)@: in change logs.
+However, we've been advised that it is a good idea to include them,
+for the sake of copyright records.
