--- normal.texi	2012-12-20 21:23:22.829397718 +0100
+++ /dev/null	2013-05-15 23:18:30.206386135 +0200
@@ -1,6 +0,0 @@
-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".