Release process: fix the --no-web option

diff --git a/release-process/scripts/mk_exim_release.pl b/release-process/scripts/mk_exim_release.pl
index 9b2971f0738048f2f62aed9287a73ef36688ab70..24c431ea3d84fe06f43193b82b5d38d75e1f1ad0 100755 (executable)
--- a/release-process/scripts/mk_exim_release.pl
+++ b/release-process/scripts/mk_exim_release.pl
@@ -220,7 +220,7 @@ sub build_documentation {
       || croak "Doc build failed";
 
     copy_docbook_files($context);
       || croak "Doc build failed";
 
     copy_docbook_files($context);

-    build_html_documentation($context);
+    build_html_documentation($context) if $context->{web};

 }
 
 # ------------------------------------------------------------------
 }
 
 # ------------------------------------------------------------------


@@ -394,6 +394,7 @@ sub create_tar_files {
                 lzip    => 0,
         },
         build_docs   => 1,
                 lzip    => 0,
         },
         build_docs   => 1,

+        web          => 1,

     };
     my $delete;
     my $cleanup = 1;
     };
     my $delete;
     my $cleanup = 1;


@@ -413,6 +414,7 @@ sub create_tar_files {
             'delete!'       => \$delete,
             'cleanup!'      => \$cleanup,
             'build-docs!'   => \$context->{build_docs},
             'delete!'       => \$delete,
             'cleanup!'      => \$cleanup,
             'build-docs!'   => \$context->{build_docs},

+            'web!'          => \$context->{web},

         )
       )
     {
         )
       )
     {


@@ -457,7 +459,7 @@ mk_exim_release.pl [options] version
    --directory=dir     dir to package
    --no-lzip           do not create .tar.lz files
    --delete            Delete packaging directory at start
    --directory=dir     dir to package
    --no-lzip           do not create .tar.lz files
    --delete            Delete packaging directory at start

-   --noweb             skip the website generation
+   --no-web            skip the website generation

 
 =head1 OPTIONS
 
 
 =head1 OPTIONS