X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Ffilter.pl;h=dd192c8eeb8ba4c0778354fb50f32046362c81a1;hb=9a988902090d28007578e93bffd809f6bd913155;hp=eb9214db98fdf9cbbadf517b75aa4114fcc98157;hpb=553781d9e9bce316dca24ac4f0c42e5613e849e0;p=senf.git

diff --git a/doclib/filter.pl b/doclib/filter.pl
index eb9214d..dd192c8 100755
--- a/doclib/filter.pl
+++ b/doclib/filter.pl
@@ -6,6 +6,9 @@ while (s/\t/' 'x(8-length($`)%8)/e) {}
 if (/^\s*\\code$/ .. /\\endcode/ && !/^$/) {
     $i=length($1) if /^(\s*)\\code$/;
     print substr($_,$i),"\n";
+} elsif (s/^(\s*)<pre>$/$1<pre class="fragment">/ .. /<\/pre>/ && !/^$/) {
+    $i=length($1) if /^(\s*)<pre class="fragment">$/;
+    print substr($_,$i),"\n";
 } else {
     print $_,"\n";
 }