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 | |
| 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')
| -rw-r--r-- | man/Makefile.am | 5 | ||||
| -rw-r--r-- | man/html/Makefile.am | 9 | ||||
| -rw-r--r-- | man/man3/Makefile.am | 10 |
3 files changed, 13 insertions, 11 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 4e50750ba10..33ae2927f85 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -17,7 +17,6 @@ SUBDIRS = man3 html EXTRA_DIST = acewindex.html -## FIXME! + acewindex.html: - touch $@ -## $(top_srcdir)/bin/html-windex < windex > acewindex.html + $(top_srcdir)/generate_html_windex $(top_srcdir)/man/man3/ACE*.3 diff --git a/man/html/Makefile.am b/man/html/Makefile.am index bce2f916583..53fb8e571bd 100644 --- a/man/html/Makefile.am +++ b/man/html/Makefile.am @@ -12,9 +12,12 @@ ## needed to process this file. AUTOMAKE_OPTIONS = 1.4 +## The HTML man page listing (html_DATA) is inserted by the +## `bootstrap' script. Don't bother editing this list since it is +## automatically generated. + htmldir = $(pkgdatadir)/html -html_DATA := \ - $(shell echo $(top_builddir)/man/man3/*.3 | xargs -n 1 basename | sed -e 's/\.3/\.html/') +html_DATA = MAINTAINERCLEANFILES = $(html_DATA) @@ -22,7 +25,7 @@ MAINTAINERCLEANFILES = $(html_DATA) ## man2html create all of the html man pages in one shot. $(html_DATA): @ACE_ROOT=$(top_srcdir) $(top_srcdir)/bin/man2html \ - $(top_builddir)/man/man3/`echo $@ | sed -e 's/\.html$$/\.3/'` \ + $(top_srcdir)/man/man3/`echo $@ | sed -e 's/\.html$$/\.3/'` \ > /dev/null ## For some reason Automake couldn't automatically copy the HTML man 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) |