[gnuastro-commits] master 7f14f8a: Text of GNU General Public License added in the book

[Mohammad Akhlaghi]

branch: master
commit 7f14f8a5deca29ecd9ed9a7430707070876a9b52
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Text of GNU General Public License added in the book
    
    The text of the GNU General Public License has been added to the book for
    completeness. It is imported from Gnulib.
---
 bootstrap.conf    |  1 +
 doc/Makefile.am   |  4 ++--
 doc/gnuastro.texi | 43 ++++++++++++++++++++++++++++---------------
 3 files changed, 31 insertions(+), 17 deletions(-)

diff --git a/bootstrap.conf b/bootstrap.conf
index ff1cecd..dc8120b 100644
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -223,6 +223,7 @@ gnulib_modules="
     getline
     strcase
     gendocs
+    gpl-3.0
     mbstok_r
     inttypes
     git-version-gen
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 5b496a5..7174cb9 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -47,8 +47,8 @@ TEXI2DVI = texi2dvi -I $(bootstrpdoc) -I $(srcdir)
 
 ## Commands to make the texinfo tools.
 info_TEXINFOS = gnuastro.texi
-gnuastro_TEXINFOS = $(bootstrpdoc)/fdl.texi formath.texi       \
-                    $(srcdir)/authors.texi
+gnuastro_TEXINFOS = $(bootstrpdoc)/fdl.texi $(bootstrpdoc)/gpl-3.0.texi \
+                    $(srcdir)/authors.texi formath.texi
 
 
 ## Files not predefined by Automake, and not in dependencies that must
diff --git a/doc/gnuastro.texi b/doc/gnuastro.texi
index 7e4ed0a..38ce9e2 100644
--- a/doc/gnuastro.texi
+++ b/doc/gnuastro.texi
@@ -207,7 +207,8 @@ sub-component to a title is present.
 * Developing::                  The development environment.
 * Gnuastro programs list::      List and short summary of Gnuastro.
 * Other useful software::       Installing other useful software.
-* GNU Free Doc. License::       GNU Free documentation license.
+* GNU Free Doc. License::       Full text of the GNU Free documentation 
license.
+* GNU General Public License::  Full text of the GNU General public license.
 * Index::                       Index of terms
 
 @detailmenu
@@ -1086,12 +1087,11 @@ reputation.
 
 @cindex GNU General Public License
 @cindex GNU Free Documentation License
-The precise conditions of the licenses for the programs currently
-being distributed that relate to Gnuastro are found in the
address@hidden://www.gnu.org/copyleft/gpl.html, GNU General Public license}
-that accompany them.  This book is covered by the
address@hidden://www.gnu.org/copyleft/fdl.html, GNU Free Documentation
-License}.
+The full text of the licenses for the Gnuastro book and software can be
+respectively found in @ref{GNU General Public address@hidden
+available in @url{http://www.gnu.org/copyleft/gpl.html}} and @ref{GNU Free
+Doc. address@hidden available in
address@hidden://www.gnu.org/copyleft/fdl.html}}.
 
 
 
@@ -5087,12 +5087,14 @@ confusion (since they are not changed by Gnuastro 
developers).
 The process of automatically building and importing necessary files into
 the cloned directory is known as @emph{bootstrapping}. All the instructions
 for an automatic bootstrapping are available in @file{bootstrap} and
-configured using @file{bootstrap.conf}. @file{bootstrap} is the only file
-not written by Gnuastro developers but is under version control to enable
-simple bootstrapping immediately after cloning. It is maintained by the GNU
-Portability Library (Gnulib) and this file is an identical copy, so do not
-make any changes in this file since it will be replaced when Gnulib
-releases an update. Make all your changes in @file{bootstrap.conf}.
+configured using @file{bootstrap.conf}. @file{bootstrap} and @file{COPYING}
+(which contains the software copyright notice) are the only files not
+written by Gnuastro developers but under version control to enable simple
+bootstrapping and legal information on usage immediately after
+cloning. @file{bootstrap.conf} is maintained by the GNU Portability Library
+(Gnulib) and this file is an identical copy, so do not make any changes in
+this file since it will be replaced when Gnulib releases an update. Make
+all your changes in @file{bootstrap.conf}.
 
 The bootstrapping process has its own separate set of dependencies, the
 full list is given in @ref{Bootstrapping dependencies}. They are generally
@@ -29216,7 +29218,7 @@ $ ./pgdemoXX
 
 
 
address@hidden GNU Free Doc. License, Index, Other useful software, Top
address@hidden GNU Free Doc. License, GNU General Public License, Other useful 
software, Top
 @appendix GNU Free Doc. License
 
 @cindex GNU Free Documentation License
@@ -29224,10 +29226,21 @@ $ ./pgdemoXX
 
 
 
address@hidden GNU General Public License, Index, GNU Free Doc. License, Top
address@hidden GNU Gen. Pub. License v3
+
address@hidden GPL
address@hidden GNU GPL
address@hidden GNU General public license
address@hidden gpl-3.0.texi
+
+
+
+
 
 
 @c Print the index and finish:
address@hidden Index,  , GNU Free Doc. License, Top
address@hidden Index,  , GNU General Public License, Top
 @unnumbered Index: Macros, structures and functions
 All Gnuastro library's exported macros start with @code{GAL_}, and its
 exported structures and functions start with @code{gal_}. This abbreviation