Say that we are having a table of contents here

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

diff --git a/deal.II/doc/doxygen/tutorial/Makefile b/deal.II/doc/doxygen/tutorial/Makefile
index 4e06291fe4083161ed2b97fd201bfb4d0f76441e..c636b4917d1ee59c6924de1153b28e3f9aefff91 100644 (file)
--- a/deal.II/doc/doxygen/tutorial/Makefile
+++ b/deal.II/doc/doxygen/tutorial/Makefile
@@ -72,7 +72,9 @@ $(example-toc-results):
 
 $(example-toc):
        @echo ================== Making $@
-       @echo "<table class=\"tutorial\">  <tr>    <td>" > $@
+       @echo "<table class=\"tutorial\">" > $@
+       @echo "<tr><td><b>Table of contents</b></td></tr>" >> $@
+       @echo "<tr><td>" >> $@
        @echo "<ol>" >> $@
        @echo "  <li> <a href=\"#Intro\" class=bold>Introduction</a>" >> $@
        @cat generated/$(call get_basename, $@)_toc.intro >> $@