From 0e8cc5911a773b3acca698d17ae5520385f50574 Mon Sep 17 00:00:00 2001
From: "Heiko Schlittermann (HS12-RIPE)" <hs@schlittermann.de>
Date: Tue, 4 Dec 2018 22:37:47 +0100
Subject: [PATCH] Remove \.pl from informative output

---
 script/gen | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/script/gen b/script/gen
index b794df6..5015bce 100755
--- a/script/gen
+++ b/script/gen
@@ -516,11 +516,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 +600,7 @@ Generates the exim website and HTML documentation.
 
 =head1 EXAMPLE
 
-    script/gen.pl \
+    script/gen \
       --web \
       --spec docbook/*/spec.xml \
       --filter  docbook/*/filter.xml \
-- 
2.30.2