From 8b848fc2b2c1b0665a5782f7b4a08ec7617c133e Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Wed, 26 Apr 2006 13:27:01 +0000
Subject: [PATCH] Deleting HappyDoc

---
 config_Mandriva_2006.0.xml | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/config_Mandriva_2006.0.xml b/config_Mandriva_2006.0.xml
index 7a5f035..97af7ca 100755
--- a/config_Mandriva_2006.0.xml
+++ b/config_Mandriva_2006.0.xml
@@ -166,16 +166,6 @@
 	   installdiskspace="2396"
 	   temporarydiskspace="7840"
 	   script="Numeric-23.7.sh"/>
-  <product name="HappyDoc"
-           version="2.1" 
-           description="Python source code documentation extracting tool"
-           install="install binaries"
-	   supported="install sources,install binaries"
-	   disable="false"
-	   dependancies="Python"
-	   installdiskspace="1517"
-	   temporarydiskspace="5020"
-	   script="HappyDoc-r2_1.sh"/>
   <product name="Graphviz"
            version="2.2.1" 
            description="Graph Drawing Programs set"
-- 
2.39.2