teythoon/gnumach.git - Personal GNU Mach development repository

Age	Commit message (Collapse)	Author
2009-06-18	2006-12-03 Thomas Schwinge <tschwinge@gnu.org>	Thomas Schwinge
	[bug #17120 --- ``GNU Mach debian dir''] * debian/README.Debian: Remove file. * debian/changelog: Likewise. * debian/control: Likewise. * debian/copyright: Likewise. * debian/postinst: Likewise. * debian/prerm: Likewise. * debian/rules: Likewise.
2001-10-04	2001-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.