From: bangerth Date: Tue, 21 Aug 2007 16:32:20 +0000 (+0000) Subject: Say that we are having a table of contents here X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e831c03fa02f4bff63534d12490fd8bdb4434c4f;p=dealii-svn.git 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 4e06291fe4..c636b4917d 100644 --- 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 "
" > $@ + @echo "" > $@ + @echo "" >> $@ + @echo "
Table of contents
" >> $@ @echo "
    " >> $@ @echo "
  1. Introduction" >> $@ @cat generated/$(call get_basename, $@)_toc.intro >> $@