diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-10-04 02:35:28 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-10-04 02:35:28 +0000 |
| commit | 2342ade17febc8a423063479998c04a2912584b5 (patch) | |
| tree | 97994f72805b47f7c8fd06c86e682e2e2e1c003a /configure.in | |
| parent | 96d6dcd5d109c12d87d293008505026db1025d89 (diff) | |
2001-10-04 Marcus Brinkmann <marcus@gnu.org>
* 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.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 00b0d4d..82d3b44 100644 --- a/configure.in +++ b/configure.in @@ -73,4 +73,4 @@ AC_LINK_FILES(${systype}/${systype},machine) AC_CONFIG_SUBDIRS(linux ${systype}) -AC_OUTPUT(Makefile) +AC_OUTPUT(Makefile doc/Makefile) |