chiark / gitweb /
spec is generated
[userv.git] / spec.html / footnotes.html
diff --git a/spec.html/footnotes.html b/spec.html/footnotes.html
deleted file mode 100644 (file)
index 3c74939..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
-
-<html>
-
-<head>
-
-<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
-
-<title>User service daemon and client specification - Footnotes</title>
-
-</head>
-
-<body>
-
-<hr>
-
-<h1>
-User service daemon and client specification
-<br>Footnotes
-</h1>
-
-
-<h2><a href="ch-client.html#fr1" name="f1">1</a></h2>
-
-<p>
-<code>userv</code> is short for `user services', and is pronounced `you-serve'.
-
-<h2><a href="ch-notes.html#fr2" name="f2">2</a></h2>
-
-<p>
-<code>sudo</code> is a program which allows users to execute certain programs
-as root, according to configuration files specified by the system
-administrator.
-
-<hr>
-
-<p>
-User service daemon and client specification
-
-<address>
-1.0.3<br>
-Ian Jackson <code><a href="mailto:ian@davenant.greenend.org.uk">ian@davenant.greenend.org.uk</a></code>
-</address>
-
-<hr>
-
-</body>
-
-</html>
-