From: Wolfgang Bangerth Date: Fri, 17 Mar 2006 14:58:53 +0000 (+0000) Subject: Kill line that pertained to a long-gone file. X-Git-Tag: v8.0.0~12052 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a81159371b03bb214df6cfc85cc2bafe1bf62c1c;p=dealii.git Kill line that pertained to a long-gone file. git-svn-id: https://svn.dealii.org/trunk@12646 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in index d36b0d9043..2eb5499064 100644 --- a/deal.II/doc/Makefile.in +++ b/deal.II/doc/Makefile.in @@ -46,7 +46,6 @@ clean: cd doxygen ; $(MAKE) clean cd development ; $(MAKE) clean cd glossary ; $(MAKE) clean - -rm class_index.html .PHONY: default doxygen all autogen-doc autogen-doc-all tutorial clean development validate-xrefs glossary