Accept @url{....} as well.

git-svn-id: https://svn.dealii.org/trunk@3356 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/contrib/kdoc/src/kdocHTMLutil.pm b/deal.II/contrib/kdoc/src/kdocHTMLutil.pm
index ef84847607e72ef7d41bce21b432d8a9315dc1b1..9e1483f5492b77934a09bd68bd6cc8a92c42bda9 100644 (file)
--- a/deal.II/contrib/kdoc/src/kdocHTMLutil.pm
+++ b/deal.II/contrib/kdoc/src/kdocHTMLutil.pm
@@ -650,6 +650,12 @@ sub deref
                            $out .= "<h$1>".esc($content)."</h$1>";
                        }
 
+                       # @url -- crosslink into the web. present the crosslink in
+                       # the whole window, rather than in the present frame (i.e. "_top")
+                       elsif ( $command eq "url" ) {
+                           $out .= "<a href=\"$content\" target="_top">$content</a>";
+                       }
+
                        # @begin{...} -- start environment
                        elsif ( $command =~ /^begin$/ ) {
                            if ( $content eq "itemize" ) {