Add main option exim_version

[exim.git] / doc / doc-docbook / TidyInfo

diff --git a/doc/doc-docbook/TidyInfo b/doc/doc-docbook/TidyInfo
index 9b9f8f290f5645b0a56aff6748735e73a53007f1..409a79324900839707982fb3b4581c38a6126b89 100755 (executable)
--- a/doc/doc-docbook/TidyInfo
+++ b/doc/doc-docbook/TidyInfo
@@ -1,7 +1,5 @@
 #! /usr/bin/perl -w
 
-# $Cambridge: exim/doc/doc-docbook/TidyInfo,v 1.1 2006/04/04 14:03:49 ph10 Exp $
-
 # This is script to tidy up the Texinfo file that docbook2texi produces. We
 # have to change "conceptindex" and "optionindex" to "cindex" and "findex", and
 # we also have to add access to the index into the menus and a final node.
@@ -54,6 +52,7 @@ while (<>)
     {
     s/conceptindex/cindex/;
     s/optionindex/findex/;
+    s/variableindex/findex/;
     print;
     }
   }