]> https://gitweb.dealii.org/ - dealii.git/commitdiff
cvslog in default removed
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 26 Mar 2001 15:39:13 +0000 (15:39 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 26 Mar 2001 15:39:13 +0000 (15:39 +0000)
git-svn-id: https://svn.dealii.org/trunk@4288 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile.in

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