diff options
Diffstat (limited to 'dns/ironsides/files/patch-ironsides.1')
| -rw-r--r-- | dns/ironsides/files/patch-ironsides.1 | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/dns/ironsides/files/patch-ironsides.1 b/dns/ironsides/files/patch-ironsides.1 deleted file mode 100644 index de2821f78d3b..000000000000 --- a/dns/ironsides/files/patch-ironsides.1 +++ /dev/null @@ -1,52 +0,0 @@ ---- ironsides.1.orig 2014-02-21 04:14:53.000000000 -0500 -+++ ironsides.1 -@@ -1,11 +1,14 @@ - .\" Manpage for ironsides. --.TH man 1 "06 May 2010" "1.0" "nuseradd man page" --.SH NAME --ironsides \- authoritative DNS server -- --.SH SYNOPSIS --spark_dns_main configuration_file_name --.SH DESCRIPTION -+.Dd 20 February 2014 -+.Dt IRONSIDES 1 -+.Os -+.Sh NAME -+.Nm ironsides -+.Nd authoritative DNS server -+.Sh SYNOPSIS -+.Nm -+.Op Ar configuration_file -+.Sh DESCRIPTION - IRONSIDES is an authoritative DNS server that is provably invulnerable to - many of the problems that plague other servers. It achieves this property - through the use of formal methods in its design, in particular the language -@@ -13,17 +16,18 @@ Ada and the SPARK formal methods tool se - provably exception-free, contains no data flow errors, and terminates only - in the ways that its programmers explicitly say that it can. These are very - desirable properties from a computer security perspective. -- -+.Pp - IRONSIDES is not a complete implementation of DNS. In particular, it does - not support zone transfers or recursive queries. It does, however, support - a sufficient number of DNS records to be useful as an authoritative DNS - server for an enterprise. -- -+.Pp - WWW: http://ironsides.martincarlisle.com --.SH OPTIONS --spark_dns_main does not take any options. However, you must supply a configuration file. --dfcs.usafa.edu.zonefile is a sample configuration file. --.SH BUGS -+.Sh OPTIONS -+.Nm -+does not take any options. However, you must supply a configuration file. -+The included dfcs.usafa.edu.zonefile file is a sample configuration. -+.Sh BUGS - No known bugs. --.SH AUTHOR --Martin Carlisle (ironsides@martincarlisle.com) -\ No newline at end of file -+.Sh AUTHOR -+.An Martin Carlisle Aq Mt ironsides@martincarlisle.com |