summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2001-10-062001-10-06 Marcus Brinkmann <marcus@gnu.org>Marcus Brinkmann
* doc/mach.texi: Fix direntry.
2001-10-052001-10-05 Marcus Brinkmann <marcus@gnu.org>Marcus Brinkmann
* doc/mach.texi: Replace `path name' by `file name' in one place. Replace `illegal' by `invalid' and `to to' by `to' everwhere. * debian/changelog: Prepare for next release.
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.