PGP: Jeremy new UID; Heiko add cross-sigs

[exim-website.git] / script / gen

diff --git a/script/gen b/script/gen
index b794df67bd48addb8420e2be80ad61ca07698e84..84657e7c907875b49d35e29a40f872da8e11d9dd 100755 (executable)
--- a/script/gen
+++ b/script/gen
@@ -141,6 +141,7 @@ sub do_doc {
                (?<version>
                    \d+                     # major
                    (?:\.\d+(?:\.\d+)?)?    # (minor(.patch))
+                   (?:\.\d+(?:\.\d+(?:\.\d+)?)?)?    # (minor(.patch.(fixes)))
                )
                (?:-RC\d+)?$/x;             # -RCX
        $+{version};
@@ -516,11 +517,11 @@ __END__
 
 =head1 NAME
 
-gen.pl - Generate exim html documentation and website
+gen - Generate exim html documentation and website
 
 =head1 SYNOPSIS
 
-gen.pl [options]
+gen [options]
 
  Options:
    --help              display this help and exits
@@ -600,7 +601,7 @@ Generates the exim website and HTML documentation.
 
 =head1 EXAMPLE
 
-    script/gen.pl \
+    script/gen \
       --web \
       --spec docbook/*/spec.xml \
       --filter  docbook/*/filter.xml \