From: Wolfgang Bangerth Date: Sun, 7 Nov 2010 20:11:10 +0000 (+0000) Subject: Remove targets related to a recently removed file. X-Git-Tag: v8.0.0~5033 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6395f00958c06395b743eef11f6d72f34bfb56c1;p=dealii.git Remove targets related to a recently removed file. git-svn-id: https://svn.dealii.org/trunk@22624 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/development/Makefile b/deal.II/doc/development/Makefile index 1cc3129739..9fb511bbfe 100644 --- a/deal.II/doc/development/Makefile +++ b/deal.II/doc/development/Makefile @@ -5,7 +5,7 @@ D = ../.. include $D/common/Make.global_options -default: makefiles.html makefile.small.html makefile.large.html makefile.rules.html +default: makefiles.html makefile.small.html makefile.large.html # Have a list of variables defined in common/Make.global_options and expand them into @@ -132,9 +132,6 @@ makefile.small.html: Makefile.small makefile.large.html: Makefile.large @$(PERL) makefile2html < $< > $@ -makefile.rules.html: $D/common/Makefile.template - @$(PERL) makefile2html < $< > $@ - validate-xrefs: @$(PERL) $D/common/scripts/validate-xrefs.pl \ $(filter-out makefiles.1.html makefiles.2.html, \