From: Wolfgang Bangerth Date: Mon, 3 Aug 1998 15:26:21 +0000 (+0000) Subject: Remove the diffs from the HTML cvs logfiles, since the mechanism didn't work anyway... X-Git-Tag: v8.0.0~22778 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46ed28c7024201cfdd0d4f665cf2b7ac3f4ad9af;p=dealii.git Remove the diffs from the HTML cvs logfiles, since the mechanism didn't work anyway. This is due to the fact that rcsdiff still prefers the standard 'diff' over GNU diff, which I installed this afternoon. Now I don't know how to patch rcsdiff and because it is not really important, let's just disable this point. Took away a lot of computing time anyway... git-svn-id: https://svn.dealii.org/trunk@476 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/lac/Attic/doc/Makefile b/deal.II/lac/Attic/doc/Makefile index 6d0d0a6bcd..f3af740ffa 100644 --- a/deal.II/lac/Attic/doc/Makefile +++ b/deal.II/lac/Attic/doc/Makefile @@ -16,7 +16,7 @@ kdoc: $(kdoc.inc) lac $(kdoc.inc:..%=../..%) cvslog: - @cd .. ; ../deal.II/doc/cvslog/cvs2html -o doc/cvslog/lac -a -k + @cd .. ; ../deal.II/doc/cvslog/cvs2html -o doc/cvslog/lac #-a -k clean: rm -f doc.kdoc/lac/* \