PATCH: gnatsweb.pl

[Gerald Pfeifer]

My daily dose of merger work. This is so that local installations will
need less customizing, and also the text is shorter now.

Installed.

Gerald

2001-01-11  Gerald Pfeifer  <address@hidden>

        * gnatsweb.pl (help_page): Simplify the welcome text and make it
        more generic.

Index: gnatsweb.pl
===================================================================
RCS file: /cvs/gnats/gnats/contrib/gnatsweb/gnatsweb.pl,v
retrieving revision 2.19
diff -u -3 -p -r2.19 gnatsweb.pl
--- gnatsweb.pl 2001/01/10 02:24:20     2.19
+++ gnatsweb.pl 2001/01/11 00:55:04
@@ -2020,15 +2020,13 @@ sub help_page
   my $page = 'Help';
   page_start_html($page);
   page_heading($page, 'Help', 1);
-  print p('Welcome to our problem report database. ',
-          'You\'ll notice that here we call them "problem reports" ',
-          'or "PR\'s", not "bugs".');
-  print p('This web interface is called "gnatsweb". ',
-          'The database system itself is called "gnats".',
-          'You may want to peruse ',
-          a({-href=>"$gnats_info_top"}, 'the gnats manual'),
-          'to read about bug lifecycles and the like, ',
-          'but then again, you may not.');
+
+  print p('Welcome to our problem report database.');
+  print p('This web interface is called gnatsweb, ',
+          'the database system itself is called gnats.');
+  print p('For details, please ',
+          a({-href=>"$gnats_info_top"}, 'refer to our documentation'));
+
   page_footer($page);
   page_end_html($page);
 }