This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
PATCH: cgi-bin/gnatsweb.pl
- To: <gcc-patches at gcc dot gnu dot org>
- Subject: PATCH: cgi-bin/gnatsweb.pl
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Thu, 11 Jan 2001 02:11:55 +0100 (CET)
This is step 3:
Merge in changes from official gnatsweb.pl revision 2.20. Update changes
from revision 1.7. Suitably mark local changes related to both.
Installed.
Gerald
Index: gnatsweb.pl
===================================================================
RCS file: /cvs/gcc/wwwdocs/cgi-bin/gnatsweb.pl,v
retrieving revision 1.17
diff -c -3 -p -r1.17 gnatsweb.pl
*** gnatsweb.pl 2001/01/10 10:41:24 1.17
--- gnatsweb.pl 2001/01/11 01:04:08
*************** $textwidth = 60;
*** 108,113 ****
--- 108,116 ----
# where to get help -- a web site with translated info documentation
#$gnats_info_top = 'http://www.hyperreal.org/info/gnuinfo/index?(gnats)';
$gnats_info_top = 'http://sources.redhat.com/gnats/';
+ #GCC-LOCAL begin.
+ $gnats_info_top = '/gnats.html';
+ #GCC-LOCAL begin.
# bits in %fieldnames has (set=yes not-set=no)
$MULTILINE = 1; # whether field is multi line
*************** sub help_page
*** 2004,2023 ****
my $page = 'Help';
page_start_html($page);
page_heading($page, 'Help', 1);
! # XXX - replace with GCC specific stuff
! # 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 the GCC problem report database. ',
! 'You\'ll notice that here we call them "problem reports" ',
! 'or "PR\'s", not "bugs".');
! print p('Please have a look at the <a href="/gnats.html">detailed instructions</a>.');
page_footer($page);
page_end_html($page);
--- 2007,2021 ----
my $page = 'Help';
page_start_html($page);
page_heading($page, 'Help', 1);
!
! #GCC-LOCAL begin.
! #print p('Welcome to our problem report database.');
! print p('Welcome to the GCC problem report database.');
! #GCC-LOCAL end.
! 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);