X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fintro.texi;h=762f157d2e0c038c5911f1e1d4e4bb86e00e6c9e;hb=2720633be76a46488e05bb9a0d45f24a89375065;hp=15587451f8be22285fa5a2e14c77ec36c8306fcd;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp

diff --git a/doc/dev/intro.texi b/doc/dev/intro.texi
index 15587451f8..762f157d2e 100644
--- a/doc/dev/intro.texi
+++ b/doc/dev/intro.texi
@@ -1,3 +1,13 @@
+@c PSPP - a program for statistical analysis.
+@c Copyright (C) 2019 Free Software Foundation, Inc.
+@c Permission is granted to copy, distribute and/or modify this document
+@c under the terms of the GNU Free Documentation License, Version 1.3
+@c or any later version published by the Free Software Foundation;
+@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+@c A copy of the license is included in the section entitled "GNU
+@c Free Documentation License".
+@c
+
 @node Introduction
 @chapter Introduction