From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 27 Sep 2000 16:07:17 +0000 (+0000)
Subject: Accept @url{....} as well.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe926ed49936f19954a5acf644569f4195587d52;p=dealii-svn.git

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 ef84847607..9e1483f549 100644
--- 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" ) {