|
From: Nicholas N. <nj...@ca...> - 2003-12-03 12:18:41
|
CVS commit by nethercote: Add more info to the title of each page. Also factors out more common stuff in the header. M +2 -5 bugs.html 1.7 M +2 -5 cvs.html 1.3 M +3 -6 docs.html 1.5 M +2 -5 downloads.html 1.6 M +2 -5 faq.html 1.2 M +2 -6 features.html 1.5 M +2 -6 feedback.html 1.6 M +9 -10 header.inc 1.9 M +2 -4 index.html 1.10 M +2 -5 lists.html 1.3 M +2 -5 overview.html 1.6 M +2 -5 related.html 1.3 M +3 -6 surveys.html 1.2 M +2 -5 sysreqs.html 1.5 M +2 -5 tools.html 1.4 --- devel-home/valgrind/bugs.html #1.6:1.7 @@ -1,10 +1,7 @@ <?php + $page_title = "Bug Reports"; + $page_heading = "Bug Reports"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Reporting Bugs</h2></center> Before you report a bug, please consult the --- devel-home/valgrind/cvs.html #1.2:1.3 @@ -1,10 +1,7 @@ <?php + $page_title = "CVS Repository"; + $page_heading = "CVS Repository"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>CVS Repository</h2></center> If you want a bleeding-edge version of Valgrind, follow these --- devel-home/valgrind/docs.html #1.4:1.5 @@ -1,10 +1,7 @@ <?php + $page_title = "Documentation"; + $page_heading = "Documentation"; include "header.inc" - ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Documentation</h2></center> +?> <a href="http://developer.kde.org/~sewardj/docs-2.0.0/manual.html">Full --- devel-home/valgrind/downloads.html #1.5:1.6 @@ -1,10 +1,7 @@ <?php + $page_title = "Downloads"; + $page_heading = "Downloads"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Downloads</h2></center> <h3>Current Stable Release</h3> --- devel-home/valgrind/faq.html #1.1:1.2 @@ -1,10 +1,7 @@ <?php + $page_title = "FAQ"; + $page_heading = "FAQ"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>FAQ</h2></center> <!-- FIXME : convert FAQ from valgrind CVS to html and include directly here --> --- devel-home/valgrind/features.html #1.4:1.5 @@ -1,11 +1,7 @@ <?php + $page_title = "Feature Requests"; + $page_heading = "Feature Requests"; include "header.inc" ?> - - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Feature Requests</h2></center> To request a feature, please use our --- devel-home/valgrind/feedback.html #1.5:1.6 @@ -1,11 +1,7 @@ <?php - $page_title = "Sending Feedback"; + $page_title = "Feedback"; + $page_heading = "Feedback"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Feedback</h2></center> <h3>General</h3> --- devel-home/valgrind/header.inc #1.8:1.9 @@ -2,11 +2,5 @@ <html> <head> -<?php - if (isset($page_title)) - $title = "Valgrind - $page_title"; - else - $title = "Valgrind"; -?> -<title><?php print $title; ?></title> +<title><?php print "Valgrind - $page_title"; ?></title> <link rel="stylesheet" type="text/css" href="style.css"> </head> @@ -14,9 +8,14 @@ <body> <table width="100%" cellspacing=10> -<tr><td bgcolor="#eeeeee" valign="top"> - +<tr> +<td bgcolor="#eeeeee" valign="top"> <?php include "menu.inc" ?> +</td> + +<td> +<center><h1>Valgrind</h1></center> +<hr> +<center><h2><?php print $page_heading; ?></h2></center> -</td><td> --- devel-home/valgrind/index.html #1.9:1.10 @@ -1,10 +1,8 @@ <?php + $page_title = "A system for debugging and profiling x86-Linux programs"; + $page_heading = "News"; include "header.inc" ?> -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>News</h2></center> <center>November 11, 2003: A new stable release, <a href="/downloads.html">valgrind 2.0.0</a>, is available.</center> --- devel-home/valgrind/lists.html #1.2:1.3 @@ -1,10 +1,7 @@ <?php + $page_title = "Mailing Lists"; + $page_heading = "Mailing Lists"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Mailing Lists</h2></center> The <a HREF="http://lists.sourceforge.net/lists/listinfo/valgrind-users"> --- devel-home/valgrind/overview.html #1.5:1.6 @@ -1,10 +1,7 @@ <?php + $page_title = "Overview"; + $page_heading = "Overview"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Overview</h2></center> <b>Valgrind is a system for debugging and profiling x86-Linux programs.</b> --- devel-home/valgrind/related.html #1.2:1.3 @@ -1,10 +1,7 @@ <?php + $page_title = "Related Tools"; + $page_heading = "Related Tools"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Related Tools</h2></center> <h3>Tools and Experimental Versions</h3> --- devel-home/valgrind/surveys.html #1.1:1.2 @@ -1,10 +1,7 @@ <?php + $page_title = "Surveys"; + $page_heading = "Surveys"; include "header.inc" - ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Surveys</h2></center> +?> In November 2003, we ran a survey, and got 114 responses. Thanks to all those --- devel-home/valgrind/sysreqs.html #1.4:1.5 @@ -1,10 +1,7 @@ <?php + $page_title = "System Requirements"; + $page_heading = "System Requirements"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>System Requirements</h2></center> <b>System requirements:</b> you need an x86 machine running Linux kernel --- devel-home/valgrind/tools.html #1.3:1.4 @@ -1,10 +1,7 @@ <?php + $page_title = "Tools"; + $page_heading = "Tools"; include "header.inc" ?> - -<center><h1>Valgrind</h1></center> - -<hr> -<center><h2>Tools</h2></center> The Valgrind distribution includes four useful debugging and profiling tools. |