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

diff --git a/doclib/filter.pl b/doclib/filter.pl
index eb9214d..14ad930 100755
--- a/doclib/filter.pl
+++ b/doclib/filter.pl
@@ -1,11 +1,21 @@
 #!/usr/bin/perl -n
 
+BEGIN {
+    ($topdir=$0) =~ s{doclib/.*$}{};
+    print $topdir,"\n";
+}
+
 s/\s*$//;
 while (s/\t/' 'x(8-length($`)%8)/e) {}
 
 if (/^\s*\\code$/ .. /\\endcode/ && !/^$/) {
     $i=length($1) if /^(\s*)\\code$/;
     print substr($_,$i),"\n";
-} else {
+} 
+elsif (s/^(\s*)<pre>$/$1<pre class="fragment">/ .. /<\/pre>/ && !/^$/) {
+    $i=length($1) if /^(\s*)<pre class="fragment">$/;
+    print substr($_,$i),"\n";
+} 
+else {
     print $_,"\n";
 }