This file describes how to use Info, the on-line, menu-driven GNU
documentation system.
-Copyright @copyright{} 1989, 1992, 1996-2012 Free Software Foundation, Inc.
+Copyright @copyright{} 1989, 1992, 1996--2012 Free Software Foundation, Inc.
@quotation
Permission is granted to copy, distribute and/or modify this document