mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
e841f73a26
After contacting the author, he updated the snapshot to the latest, remove 7M worth of dead files and adding a man page. I made some corrections to that man page and converted it to mdoc tags.
53 lines
1.7 KiB
Groff
53 lines
1.7 KiB
Groff
--- 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
|