diff --git a/doc/tgi.sgml b/doc/tgi.sgml index 29acd8ce6..3b013664f 100644 --- a/doc/tgi.sgml +++ b/doc/tgi.sgml @@ -477,10 +477,10 @@ be used in presence of a prototype. -/