From: guido Date: Wed, 3 Mar 1999 15:04:08 +0000 (+0000) Subject: HTML commands disabled for Wolfgang X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ddf5e2031062a96506f4ceb4b47e8f4631c7412;p=dealii-svn.git HTML commands disabled for Wolfgang git-svn-id: https://svn.dealii.org/trunk@942 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/auto/scripts/kdoc/kdocHTML.pm b/deal.II/doc/auto/scripts/kdoc/kdocHTML.pm index 99b3a866fb..4e866d5fb5 100644 --- a/deal.II/doc/auto/scripts/kdoc/kdocHTML.pm +++ b/deal.II/doc/auto/scripts/kdoc/kdocHTML.pm @@ -204,8 +204,8 @@ sub makeReferencedText $t =~ s/$pat/$repl/; } -# $t =~ s//>/g; + $t =~ s//>/g; $t =~ s/<\/p><p>/<\/p>

/g; $t =~ s/\#([^\#]*)\#/$1<\/CODE>/g; $t =~ s/\\begin\{verbatim\}/

/g;