From fe926ed49936f19954a5acf644569f4195587d52 Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 27 Sep 2000 16:07:17 +0000
Subject: [PATCH] Accept @url{....} as well.

git-svn-id: https://svn.dealii.org/trunk@3356 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/contrib/kdoc/src/kdocHTMLutil.pm | 6 ++++++
 1 file changed, 6 insertions(+)

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" ) {
-- 
2.39.5