doclib: Clean up documentation generation

[senf.git] / doclib / filter.pl

diff --git a/doclib/filter.pl b/doclib/filter.pl
index eb9214d..dd192c8 100755 (executable)
--- 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";
 }