diff --git a/src/texinfo.xsl b/src/texinfo.xsl index ad04147..6ee310b 100644 --- a/src/texinfo.xsl +++ b/src/texinfo.xsl @@ -128,7 +128,7 @@