What was that rogue man-mindepth directive doing in here?

[sgt/putty] / doc / man-pl.but

diff --git a/doc/man-pl.but b/doc/man-pl.but
index f23de40..127bda7 100644 (file)
--- a/doc/man-pl.but
+++ b/doc/man-pl.but
@@ -1,5 +1,4 @@
 \cfg{man-identity}{plink}{1}{2004-03-24}{PuTTY tool suite}{PuTTY tool suite}
-\cfg{man-mindepth}{1}
 
 \H{plink-manpage} Man page for Plink