From 712db7c5fd485ca28a645efb1d8ef80b0714538d Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Wed, 26 Sep 2001 19:16:51 +0000 Subject: Replace
with
and remove one dangling . weblint clean (only warnings about missing image size). --- devel.html | 2 +- docs.html | 2 +- download.html | 2 +- help.html | 2 +- history.html | 2 +- hurd-talk.html | 4 +--- hurd.html | 3 +-- install.html | 2 +- 8 files changed, 8 insertions(+), 11 deletions(-) diff --git a/devel.html b/devel.html index 18f7278d..bee788a9 100644 --- a/devel.html +++ b/devel.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
diff --git a/docs.html b/docs.html index 1e13a8d4..1af5ccf7 100644 --- a/docs.html +++ b/docs.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
diff --git a/download.html b/download.html index de7737ac..9e0286bb 100644 --- a/download.html +++ b/download.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
diff --git a/help.html b/help.html index 7857802b..e0478b9a 100644 --- a/help.html +++ b/help.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
diff --git a/history.html b/history.html index 6d076a5b..27523a39 100644 --- a/history.html +++ b/history.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
diff --git a/hurd-talk.html b/hurd-talk.html index feca0835..b8fbc5d3 100644 --- a/hurd-talk.html +++ b/hurd-talk.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
@@ -602,7 +602,6 @@ Effective ids are used to check if the user has the permission. Available ids can be turned into effective ids on user request.

-

The Hurd auth server is used to establish the identity of a user for a server. Such an identity (which is just a port to the auth server) consists of a set of effective user ids, a set of effective group ids, @@ -810,7 +809,6 @@ Wanted: A similar abstraction for streams (based on channels), which can be used network and character device servers.

-

libstore provides a store abstraction, which is used by all store based filesystems. The store is determined by a type and a name, but some store types modify another store rather than providing a new diff --git a/hurd.html b/hurd.html index 7c877803..08b4c7ba 100644 --- a/hurd.html +++ b/hurd.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
@@ -26,7 +26,6 @@ Download
Development
History -

diff --git a/install.html b/install.html index ccec4252..4ee9db4c 100644 --- a/install.html +++ b/install.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
-- cgit v1.2.3