diff options
Diffstat (limited to 'doc/user-guide/user-guide.info')
| -rw-r--r-- | doc/user-guide/user-guide.info | 4 | 
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/user-guide/user-guide.info b/doc/user-guide/user-guide.info index 494c0e94ee4..825e12b8c23 100644 --- a/doc/user-guide/user-guide.info +++ b/doc/user-guide/user-guide.info @@ -2188,7 +2188,7 @@ Appendix A GNU Free Documentation Licence       This License is a kind of "copyleft", which means that derivative       works of the document must themselves be free in the same sense. -     It complements the GNU Affero General Public License, which is a copyleft +     It complements the GNU General Public License, which is a copyleft       license designed for free software.       We have designed this License in order to use it for manuals for @@ -2591,7 +2591,7 @@ situation.     If your document contains nontrivial examples of program code, we  recommend releasing these examples in parallel under your choice of -free software license, such as the GNU Affero General Public License, to +free software license, such as the GNU General Public License, to  permit their use in free software.  | 
