From 2cf7e01ca1560f18d5e991a1a503bb1902a57e0d Mon Sep 17 00:00:00 2001 From: guido Date: Fri, 7 Jun 2002 09:54:40 +0000 Subject: [PATCH] Introducing target veryclean to remove libs git-svn-id: https://svn.dealii.org/trunk@6025 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/news/2002/c-3-4.html | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/deal.II/doc/news/2002/c-3-4.html b/deal.II/doc/news/2002/c-3-4.html index 2053acb6ac..c9e48022d9 100644 --- a/deal.II/doc/news/2002/c-3-4.html +++ b/deal.II/doc/news/2002/c-3-4.html @@ -33,6 +33,15 @@ contributor's names are abbreviated by WB (Wolfgang Bangerth), GK

General

    + +
  1. Improved: make knows a target veryclean + now. clean leaves the libraries now, removing everything + that is not needed to use + deal.II. veryclean removes even the + libraries, leaving the directory more or less in the state like + after configure. +
    + (GK 2002/06/07)
-- 2.39.5