diff --git a/doc/supervision.sgml b/doc/supervision.sgml index c2ed425dd..153746025 100644 --- a/doc/supervision.sgml +++ b/doc/supervision.sgml @@ -4,7 +4,7 @@