=== modified file 'mandos-ctl.xml'
--- mandos-ctl.xml	2019-02-10 04:20:26 +0000
+++ mandos-ctl.xml	2019-03-06 22:24:59 +0000
@@ -2,7 +2,7 @@
 <!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
 	"http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
 <!ENTITY COMMANDNAME "mandos-ctl">
-<!ENTITY TIMESTAMP "2019-02-10">
+<!ENTITY TIMESTAMP "2019-03-06">
 <!ENTITY % common SYSTEM "common.ent">
 %common;
 ]>
@@ -133,13 +133,6 @@
 	</group>
 	<sbr/>
 	<group>
-	  <arg choice="plain"><option>--interval
-	  <replaceable>TIME</replaceable></option></arg>
-	  <arg choice="plain"><option>-i
-	  <replaceable>TIME</replaceable></option></arg>
-	</group>
-	<sbr/>
-	<group>
 	  <arg choice="plain"><option>--host
 	  <replaceable>STRING</replaceable></option></arg>
 	  <arg choice="plain"><option>-H