diff options
Diffstat (limited to 'ares')
-rwxr-xr-x | ares/maketgz | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ares/maketgz b/ares/maketgz index 8e55ec946..147f0e59e 100755 --- a/ares/maketgz +++ b/ares/maketgz @@ -48,10 +48,24 @@ print "makes a new configure script\n"; print "running configure\n"; `./configure`; +# generate HTML versions of man pages +# Deactivated for now. It seems that man pages need some adjustments +# relative to paragraph and/or line breaks for proper html formatting. +# EXTRA_DIST will need $(HTMLPAGES) when this is fully activated. +# print "running make html\n"; +# `make -s html`; + +# generate PDF versions of man pages +print "running make pdf\n"; +`make -s pdf`; + # now make the actual tarball print "running make dist\n"; `make dist VERSION=$version`; +# remove temporay sourced man pages +`make -s clean-sourced-manpages`; + print "removing temporary configure.ac file\n"; `rm configure.ac.dist`; print "removing temporary ares_version.h file\n"; |