*** make-stds.texi	2013-02-17 21:44:05.485250349 +0100
--- normal.texi	2012-12-20 21:23:22.829397718 +0100
***************
*** 1,7 ****
! @c Permission is granted to copy, distribute and/or modify this document
! @c under the terms of the GNU Free Documentation License, Version 1.1
! @c or any later version published by the Free Software Foundation;
! @c with no Invariant Sections, with no
! @c Front-Cover Texts, and with no Back-Cover Texts.
! @c A copy of the license is included in the section entitled ``GNU
! @c Free Documentation License''.
--- 1,6 ----
! Permission is granted to copy, distribute and/or modify this
! document under the terms of the GNU Free Documentation License,
! version 1.3 or any later version published by the Free Software
! Foundation; with no Invariant Sections, no Front-Cover Texts and
! no Back-Cover Texts.  A copy of the license is included in the
! section entitled "GNU Free Documentation License".