From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 22 Jan 2001 09:13:19 +0000 (+0000)
Subject: Removed Files:
X-Git-Tag: no-uwobo~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ef691769242d8f00f0984c415f5c5e00c07144ea;p=helm.git

Removed Files:
 	libminidom.la minidom.lo
---

diff --git a/helm/minidom/.cvsignore b/helm/minidom/.cvsignore
index f13975ad8..db751f14f 100644
--- a/helm/minidom/.cvsignore
+++ b/helm/minidom/.cvsignore
@@ -1,3 +1,5 @@
+*.lo
+*.la
 .libs
 .deps
 .emacs.desktop
diff --git a/helm/minidom/libminidom.la b/helm/minidom/libminidom.la
deleted file mode 100644
index 7266b1485..000000000
--- a/helm/minidom/libminidom.la
+++ /dev/null
@@ -1,28 +0,0 @@
-# libminidom.la - a libtool library file
-# Generated by ltmain.sh - GNU libtool 1.3.4 (1.385.2.196 1999/12/07 21:47:57)
-#
-# Please DO NOT delete this file!
-# It is necessary for linking the library.
-
-# The name that we can dlopen(3).
-dlname=''
-
-# Names of this library.
-library_names='libminidom.so.0.1.0 libminidom.so.0 libminidom.so'
-
-# The name of the static archive.
-old_library='libminidom.a'
-
-# Libraries that this one depends upon.
-dependency_libs=' -L/usr/lib -lglib -lxml -lz'
-
-# Version information for libminidom.
-current=1
-age=1
-revision=0
-
-# Is this an already installed library?
-installed=no
-
-# Directory that this library needs to be installed in:
-libdir='/usr/local/lib'
diff --git a/helm/minidom/minidom.lo b/helm/minidom/minidom.lo
deleted file mode 100644
index 231991f2b..000000000
Binary files a/helm/minidom/minidom.lo and /dev/null differ