File Manager

Editing File: /usr/share/doc/texinfo/copyright

This is the Debian package of Texinfo, the GNU documentation system.

This package was previously maintained by Ian Jackson, Erick
Branderhorst, Galen Hazelwood, and Josip Rodin. Today, it is 
maintained by the Debian TeX Task Force <debian-tex-maint@lists.debian.org>.

The original source can be found at: http://ftp.gnu.org/gnu/texinfo/

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 3 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, see <http://www.gnu.org/licenses/>.

The documentation files
	doc/texinfo.texi
	doc/info-stnd.texi
are licensed under GFDL without front/back cover text and invariant sections:

Copyright (C) 1988, 1990, 1991, 1992, 1993, 1995, 1996, 1997,
	1998, 1999, 2001, 2001, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
	2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Free Software
	Foundation, Inc.

Permission is granted to copy, distribute and/or modify this document
	under the terms of the GNU Free Documentation License, Version 1.3 or
	any later version published by the Free Software Foundation; with no
	Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
	Texts.  A copy of the license is included in the section entitled
	``GNU Free Documentation License''.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License v3 can be found in `/usr/share/common-licenses/GPL-3' file,
and the GNU Free Documentation License v1.3 can be found in
`/usr/share/common-licenses/GFDL-1.3' file.

Back to Directory File Manager