diff options
author | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-10-30 02:10:44 +0000 |
---|---|---|
committer | Ossama Othman <ossama-othman@users.noreply.github.com> | 1999-10-30 02:10:44 +0000 |
commit | a741e7cf7695d37ce88a89e3dec697f96549b37c (patch) | |
tree | 4fc0d86861391fe411686b06d56d91e1e018e4ba /man | |
parent | 04b4d962c50cdb7c03d74bb93777b663de23b0ff (diff) | |
download | ATCD-a741e7cf7695d37ce88a89e3dec697f96549b37c.tar.gz |
ChangeLogTag:Fri Oct 29 21:09:49 1999 Ossama Othman <othman@cs.wustl.edu>
Diffstat (limited to 'man')
-rw-r--r-- | man/html/Makefile.am | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/man/html/Makefile.am b/man/html/Makefile.am index 5db99050486..bce2f916583 100644 --- a/man/html/Makefile.am +++ b/man/html/Makefile.am @@ -14,12 +14,9 @@ AUTOMAKE_OPTIONS = 1.4 htmldir = $(pkgdatadir)/html html_DATA := \ - $(shell (for p in $(top_builddir)/man/man3/*.3; \ - do basename $$p | sed -e 's/\.3$$/\.html/'; done)) + $(shell echo $(top_builddir)/man/man3/*.3 | xargs -n 1 basename | sed -e 's/\.3/\.html/') -DISTCLEANFILES = $(html_DATA) - -EXTRA_DIST = $(html_DATA) +MAINTAINERCLEANFILES = $(html_DATA) ## Only add rule to create ACE.html since it more efficient to make ## man2html create all of the html man pages in one shot. @@ -28,5 +25,7 @@ $(html_DATA): $(top_builddir)/man/man3/`echo $@ | sed -e 's/\.html$$/\.3/'` \ > /dev/null -all-local: - echo ACE HTML man pages have been built.
\ No newline at end of file +## For some reason Automake couldn't automatically copy the HTML man +## pages to the distribution directory so do it manually. +dist-hook: + (tar cf - ./ACE*.html) | (cd $(distdir); tar xfBp -) |