]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove bogus patch, as it disables creating the file we want. The problem was already...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Mar 2001 13:33:19 +0000 (13:33 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Mar 2001 13:33:19 +0000 (13:33 +0000)
git-svn-id: https://svn.dealii.org/trunk@4301 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile.in

index a556dfd3188022ca5efecb87e8cf500ec2678f02..8e4aed9b00bf7378384069292118bc694296c315 100644 (file)
@@ -10,7 +10,7 @@ include $D/common/Make.global_options
 
 
 # generic targets
-default: autogen-doc tutorial development glossary validate-xrefs
+default: autogen-doc tutorial development glossary class_index.html validate-xrefs
 
 all: default autogen-doc-all
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.