diff --git a/src/texinfo.xsl b/src/texinfo.xsl index 07c7e99..9dcb121 100644 --- a/src/texinfo.xsl +++ b/src/texinfo.xsl @@ -56,7 +56,7 @@ -->