diff options
author | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-11-28 23:24:39 +0000 |
---|---|---|
committer | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-11-28 23:24:39 +0000 |
commit | 69010992fb9c7c12a15e91ddb462514b98ded7d7 (patch) | |
tree | ffe14233a1cd0a1c6801b583cfc577e1bfc9ce11 /man/man3 | |
parent | f6f198a025a591f12f7bfdf0401c5f3d38177d35 (diff) | |
download | ATCD-69010992fb9c7c12a15e91ddb462514b98ded7d7.tar.gz |
ChangeLogTag:Sun Nov 28 17:06:00 1999 Ossama Othman <othman@cs.wustl.edu>
Diffstat (limited to 'man/man3')
-rw-r--r-- | man/man3/Makefile.am | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/man/man3/Makefile.am b/man/man3/Makefile.am index b8ae49f4d2c..7717fa5db06 100644 --- a/man/man3/Makefile.am +++ b/man/man3/Makefile.am @@ -12,11 +12,11 @@ ## needed to process this file. AUTOMAKE_OPTIONS = 1.4 -## Exclude non-ACE man pages -## The distribution must be first be bootstrapped by running -## `bin/bootstrap' from the top-level source directory before the -## following will work. -man_MANS := $(shell echo ACE*.3) +## The man page listing (man_MANS) is inserted by the `bootstrap' +## script. Don't bother editing this list since it is automatically +## generated. + +man_MANS = MAINTAINERCLEANFILES = $(man_MANS) |