From fd0ffa25384e67c4c2f1191dfd1068b43670a816 Mon Sep 17 00:00:00 2001
From: Marcus Brinkmann <marcus@gnu.org>
Date: Wed, 26 Sep 2001 23:45:22 +0000
Subject: s/H4/H3/g

---
 devel.html    |  6 +++---
 docs.html     |  8 ++++----
 download.html |  4 ++--
 help.html     |  6 +++---
 history.html  |  6 +++---
 hurd.html     | 10 +++++-----
 install.html  |  6 +++---
 7 files changed, 23 insertions(+), 23 deletions(-)

diff --git a/devel.html b/devel.html
index bee788a9..8ed6d944 100644
--- a/devel.html
+++ b/devel.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#contrib" NAME="TOCcontrib">Contributing</A>
   <LI><A HREF="#tasks" NAME="TOCtasks">Tasks</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H4>
+<H3><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H3>
 <P>
 If you want to contribute to the Hurd, you should first install and
 use it for a while, to become familiar with its features and design.
@@ -47,7 +47,7 @@ mailing list, which is also the place where you can announce your
 intentions, make your proposals and send in your patches.
 <P>
 
-<H4><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H4>
+<H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>
 Developing an operating system is a huge job, with a lot of different
 things to do.  Beside all the obvious ones (writing documentation,
diff --git a/docs.html b/docs.html
index 96f536eb..b3ef90c8 100644
--- a/docs.html
+++ b/docs.html
@@ -29,7 +29,7 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#papers" NAME="TOCpapers">Architectural Overviews</A>
   <LI><A HREF="#faq" NAME="TOCfaq">Frequently Asked Questions</A>
@@ -37,7 +37,7 @@
 </UL>
 <HR>
 
-<H4><A HREF="#TOCpapers" NAME="papers">Architectural Overviews</A></H4>
+<H3><A HREF="#TOCpapers" NAME="papers">Architectural Overviews</A></H3>
 <P>
 <UL>
 <LI>
@@ -48,14 +48,14 @@ Thomas Bushnell, BSG.
 Brinkmann.
 </UL>
 
-<H4><A HREF="#TOCfaq" NAME="faq">Frequently Asked Questions</A></H4>
+<H3><A HREF="#TOCfaq" NAME="faq">Frequently Asked Questions</A></H3>
 <P>
 Please check out the
 <A HREF="faq.en.html">Frequently
 Asked Questions about the GNU Hurd (33k characters)</A> and their
 answers, which cover most issues a new user will be confronted with.
 
-<H4><A HREF="#TOCmanuals" NAME="manuals">Reference Manuals</A></H4>
+<H3><A HREF="#TOCmanuals" NAME="manuals">Reference Manuals</A></H3>
 <P>
 The GNU Hurd Reference Manual documents the architecture, the usage
 and the programming of the GNU Hurd. At the moment, the manual is
diff --git a/download.html b/download.html
index 9e0286bb..85452d22 100644
--- a/download.html
+++ b/download.html
@@ -29,13 +29,13 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#cvs" NAME="TOCcvs">CVS Repository</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCcvs" NAME="cvs">CVS Repository</A></H4>
+<H3><A HREF="#TOCcvs" NAME="cvs">CVS Repository</A></H3>
 <P>
 The only way to get the current Hurd sources is using <A
 HREF="/software/cvs/cvs.html">CVS</A>.  You can check out the CVS
diff --git a/help.html b/help.html
index e0478b9a..157f139e 100644
--- a/help.html
+++ b/help.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#mail" NAME="TOCmail">Mailing Lists</A>
   <LI><A HREF="#irc" NAME="TOCirc">Internet Relay Chat</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCmail" NAME="mail">Mailing Lists</A></H4>
+<H3><A HREF="#TOCmail" NAME="mail">Mailing Lists</A></H3>
 <P>
 If you have questions about the installation, how the Hurd works and
 how it is used, or general questions concerning the Hurd, you can send
@@ -55,7 +55,7 @@ go to the Debian GNU/Hurd
 <A HREF="mailto:debian-hurd@lists.debian.org">&lt;debian-hurd@lists.debian.org&gt;</A>
 mailing list.
 
-<H4><A HREF="#TOCirc" NAME="irc">Internet Relay Chat</A></H4>
+<H3><A HREF="#TOCirc" NAME="irc">Internet Relay Chat</A></H3>
 <P>
 The <A HREF="http://www.openprojects.net/">Open Projects Network</A>
 hosts a network of Internet Relay Chat servers accessed through
diff --git a/history.html b/history.html
index 27523a39..9d2982fb 100644
--- a/history.html
+++ b/history.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#start" NAME="TOCstart">How it started</A>
   <LI><A HREF="#announce" NAME="TOCannounce">Announcements</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCstart" NAME="start">How it started</A></H4>
+<H3><A HREF="#TOCstart" NAME="start">How it started</A></H3>
 <P>
 Richard Stallman (RMS) started GNU in 1983, as a project to create a
 complete free operating system.  In the text of the GNU Manifesto, he
@@ -87,7 +87,7 @@ HREF="hurd-and-linux.html">The Hurd and Linux</A>, where he mentions
 that the FSF started developing the Hurd in 1990.  As of [Gnusletter,
 Nov. 1991], the Hurd (running on Mach) is GNU's official kernel.
 
-<H4><A HREF="#TOCannounce" NAME="announce">Announcements</A></H4>
+<H3><A HREF="#TOCannounce" NAME="announce">Announcements</A></H3>
 <DL>
 <DT>
 <A HREF="hurd-flash15">Release 0.2 announcement (complete GNU system)</A></DT>
diff --git a/hurd.html b/hurd.html
index 08b4c7ba..567e74a7 100644
--- a/hurd.html
+++ b/hurd.html
@@ -30,7 +30,7 @@
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
 <P>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#introduction" NAME="TOCintroduction">Introduction to the Hurd</A>
   <LI><A HREF="#advantages" NAME="TOCadvantages">Advantages of the Hurd</A>
@@ -40,7 +40,7 @@
 <P>
 <HR>
 
-<H4><A HREF="#TOCintroduction" NAME="introduction">Introduction to the Hurd</A></H4>
+<H3><A HREF="#TOCintroduction" NAME="introduction">Introduction to the Hurd</A></H3>
 <P>
 The GNU Hurd is the GNU project's replacement for the Unix kernel.
 The Hurd is a collection of servers that run on the Mach microkernel
@@ -52,7 +52,7 @@ Currently, the Hurd runs on IA32 machines.  The Hurd should, and
 probably will, be ported to other hardware architectures or other
 microkernels in the future.
 
-<H4><A HREF="#TOCadvantages" NAME="advantages">Advantages of the Hurd</A></H4>
+<H3><A HREF="#TOCadvantages" NAME="advantages">Advantages of the Hurd</A></H3>
 The Hurd is not the most advanced kernel known to the planet (yet),
 but it does have a number of enticing features:
 <DL>
@@ -107,7 +107,7 @@ start using and developing it.
 </DD>
 </DL>
 
-<H4><A HREF="#TOCname" NAME="name">What the Hurd means</A></H4>
+<H3><A HREF="#TOCname" NAME="name">What the Hurd means</A></H3>
 According to Thomas Bushnell, BSG, the primary architect of the Hurd:
 <BLOCKQUOTE>
 `Hurd' stands for `Hird of Unix-Replacing Daemons'.  And, then, `Hird'
@@ -116,7 +116,7 @@ my knowledge, the first software to be named by a pair of mutually
 recursive acronyms.
 </BLOCKQUOTE>
 
-<H4><A HREF="#TOCstatus" NAME="status">Status of the project</A></H4>
+<H3><A HREF="#TOCstatus" NAME="status">Status of the project</A></H3>
 <P>
 The Hurd, together with the GNU Mach microkernel, the GNU C Library
 and the other GNU programs, provides a rather complete and usable
diff --git a/install.html b/install.html
index 4ee9db4c..cac1630e 100644
--- a/install.html
+++ b/install.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#version" NAME="TOCversion">Latest Version</A>
   <LI><A HREF="#install" NAME="TOCinstall">Installation Instructions</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCversion" NAME="version">Latest Version</A></H4>
+<H3><A HREF="#TOCversion" NAME="version">Latest Version</A></H3>
 <P>
 The GNU Hurd is under active development.  Because of that, there is
 no `stable' version.  The latest released version is 0.2, and dates
@@ -55,7 +55,7 @@ to provide such a binary distribution.
 currently under development and available in the sid/unstable branch
 of the Debian archive.
 
-<H4><A HREF="#TOCinstall" NAME="install">Installation Instructions</A></H4>
+<H3><A HREF="#TOCinstall" NAME="install">Installation Instructions</A></H3>
 <P>
 <A HREF="http://web.walfield.org/papers/hurd-installation-guide/english/hurd-install-guide.html">
 The Hurd installation guide</A> written by Neal Walfield explains how
-- 
cgit v1.2.3