%% TeX macros to handle texinfo files
-% Copyright (C) 1985, 1986, 1988, 1990, 1991 Free Software Foundation, Inc.
+% Copyright (C) 1985-1986, 1988, 1990-1991, 2016 Free Software
+% Foundation, Inc.
%This texinfo.tex file is free software; you can redistribute it and/or
%modify it under the terms of the GNU General Public License as