BZ #13792: License manual example source files under GPL.

1 files changed, 19 insertions, 2 deletions

diff --git a/manual/examples/setjmp.c b/manual/examples/setjmp.c
index 023339c602..ffd7744c1a 100644
--- a/manual/examples/setjmp.c
+++ b/manual/examples/setjmp.c
@@ -1,10 +1,27 @@
+/* Introduction to Non-Local Exits
+   Copyright (C) 1991-2012 Free Software Foundation, Inc.
+
+   This program is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License
+   as published by the Free Software Foundation; either version 2
+   of the License, or (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+*/
+
 #include <setjmp.h>
 #include <stdlib.h>
 #include <stdio.h>
 
 jmp_buf main_loop;
 
-void 
+void
 abort_to_main_loop (int status)
 {
   longjmp (main_loop, status);
@@ -21,7 +38,7 @@ main (void)
 }
 
 
-void 
+void
 do_command (void)
 {
   char buffer[128];