X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fmlminidom.spec.in;fp=helm%2FDEVEL%2Fmlminidom%2Fmlminidom.spec.in;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=ecac5f7f8d4aaa1988acf4b57be1a2f7d70bfa82;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/mlminidom/mlminidom.spec.in b/helm/DEVEL/mlminidom/mlminidom.spec.in
deleted file mode 100644
index ecac5f7f8..000000000
--- a/helm/DEVEL/mlminidom/mlminidom.spec.in
+++ /dev/null
@@ -1,27 +0,0 @@
-Summary: The Ocaml binding for the minidom library
-Name: @PACKAGE@
-Version: @VERSION@
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Luca Padovani <luca.padovani@cs.unibo.it>
-Requires: ocaml >= 3.00, minidom >= 0.0.1, glib, glib-devel 
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/@PACKAGE@-@VERSION@.tar.gz
-%description
-The Ocaml binding for the minidom library
-
-%prep
-%setup
-
-%build
-./configure
-
-%install
-make
-make opt
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-/usr/lib/ocaml/mlminidom