diff --git a/src/xsltexi.xsl b/src/xsltexi.xsl index c81965f..b62527f 100644 --- a/src/xsltexi.xsl +++ b/src/xsltexi.xsl @@ -70,12 +70,17 @@ $xt:nl, $doc, $xt:nl, + '@verbatim', + $xt:nl, + xt:serialize( . ), + $xt:nl, + '@end verbatim', + $xt:nl, '@end deffn', $xt:nl)" /> - + + + + + + + + + + + + + + + + + + + + + + +