aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xares/maketgz14
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";