Filter spec had wrong version number on it

This broke the website generation for the filter docs.
We need a checking mechanism to ensure this does not
happen in the future.

diff --git a/docbook/4.80.1/filter.xml b/docbook/4.80.1/filter.xml
index 85b23ff2f7d280b5f1886e37c31c1557df6b243b..8d1efbd77816d7e89e06d1567d88041048696816 100644 (file)
--- a/docbook/4.80.1/filter.xml
+++ b/docbook/4.80.1/filter.xml
@@ -17,7 +17,7 @@
 <author><firstname>Philip</firstname><surname>Hazel</surname></author>
 <authorinitials>PH</authorinitials>
 <revhistory><revision>
-  <revnumber>4.80</revnumber>
+  <revnumber>4.80.1</revnumber>
   <date>17 May 2012</date>
   <authorinitials>PH</authorinitials>
 </revision></revhistory>
@@ -28,7 +28,7 @@
 <para>
 This document describes the user interfaces to Exim&#x2019;s in-built mail filtering
 facilities, and is copyright &copy; University of Cambridge 2007. It
-corresponds to Exim version 4.80.
+corresponds to Exim version 4.80.1.
 </para>
 <section id="SEC00">
 <title>Introduction</title>