summaryrefslogtreecommitdiff
path: root/doc/gpl.texi
AgeCommit message (Collapse)Author
2009-06-182007-01-22 Thomas Schwinge <tschwinge@gnu.org>Thomas Schwinge
* COPYING: Update via GNU automake 1.10. * doc/fdl.texi: Update from <http://www.gnu.org/licenses/fdl.texi>. * doc/gpl.texi: Update from <http://www.gnu.org/licenses/gpl.texi>. * doc/mach.texi: Use the GFDL 1.2.
2001-10-042001-10-04 Marcus Brinkmann <marcus@gnu.org>Marcus Brinkmann
* doc: New directory. * doc/Makefile.in: New file. * doc/gpl.texi: Likewise. * doc/fdl.texi: Likewise. * doc/mach.texi: Likewise. * configure.in: Add doc/Makefile to AC_OUTPUT call. * configure: Regenerated. * Makefile.in (dist): Create directories doc and debian. (doc-files): New variable with documentation files. (debian-files): New variable with Debian packaging files. * debian/rules (stamp-build): Build documentation. (build-gnumach): Install the documentation into the gnumach package. * debian/postrm: New file to install info document. * debian/prerm: New file to install info document.