diff options
| -rw-r--r-- | man/gpl.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/gpl.texi b/man/gpl.texi index 1908d1f8f98..5b416d3cb41 100644 --- a/man/gpl.texi +++ b/man/gpl.texi | |||
| @@ -715,3 +715,7 @@ library, you may consider it more useful to permit linking proprietary | |||
| 715 | applications with the library. If this is what you want to do, use | 715 | applications with the library. If this is what you want to do, use |
| 716 | the GNU Lesser General Public License instead of this License. But | 716 | the GNU Lesser General Public License instead of this License. But |
| 717 | first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. | 717 | first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. |
| 718 | |||
| 719 | @ignore | ||
| 720 | arch-tag: 0c4a2556-f87e-464f-9b1d-efd920fcaf67 | ||
| 721 | @end ignore | ||