From: guido Date: Mon, 26 Mar 2001 15:39:13 +0000 (+0000) Subject: cvslog in default removed X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d94ef6f22bd62519569bbbac2b714a30320e667;p=dealii-svn.git cvslog in default removed git-svn-id: https://svn.dealii.org/trunk@4288 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in index 8e4aed9b00..a556dfd318 100644 --- a/deal.II/doc/Makefile.in +++ b/deal.II/doc/Makefile.in @@ -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