From: Guido Kanschat Date: Fri, 18 Jun 2010 20:53:58 +0000 (+0000) Subject: add tooltip? X-Git-Tag: v8.0.0~6041 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1c7acd7bb6f2f1582e3da0d3a2815df93d9962bf;p=dealii.git add tooltip? git-svn-id: https://svn.dealii.org/trunk@21225 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/tutorial/steps.pl b/deal.II/doc/doxygen/tutorial/steps.pl index 9c2471eda6..dbd6009e0b 100644 --- a/deal.II/doc/doxygen/tutorial/steps.pl +++ b/deal.II/doc/doxygen/tutorial/steps.pl @@ -88,7 +88,7 @@ EOT for (my $i=1; $i<=$laststep;++$i) { - printf 'Step%02d [label="%d", URL="step_%d.html"', $i, $i, $i; + printf 'Step%02d [label="%d", URL="step_%d.html", tooltip="@step%d@"', $i, $i, $i, $i; print $attribute{$i}; print "];\n"; }