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 | 21ea10295a2b95b5b89ee0097aabde64ce01317c (patch) | |
| tree | d505d53a5e225a5fbde172af588c190d2dd51aa0 /configure | |
| parent | 5df48e5543060daf29f59b910c567d74205da9d6 (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')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1212,7 +1212,7 @@ done ac_given_srcdir=$srcdir ac_given_INSTALL="$INSTALL" -trap 'rm -fr `echo "Makefile" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 +trap 'rm -fr `echo "Makefile doc/Makefile" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF cat >> $CONFIG_STATUS <<EOF @@ -1307,7 +1307,7 @@ EOF cat >> $CONFIG_STATUS <<EOF -CONFIG_FILES=\${CONFIG_FILES-"Makefile"} +CONFIG_FILES=\${CONFIG_FILES-"Makefile doc/Makefile"} EOF cat >> $CONFIG_STATUS <<\EOF for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |