From f2e28618fb5422ff96d6b5487a2e429ca7ebb986 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 17:36:01 +0000 Subject: [PATCH] ... --- helm/interface/Makefile.in | 4 +--- .../interface/helm_gtk_interface-0.0.1-1.spec | 21 ++++++------------- 2 files changed, 7 insertions(+), 18 deletions(-) diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in index 453d58b06..39328094c 100644 --- a/helm/interface/Makefile.in +++ b/helm/interface/Makefile.in @@ -175,9 +175,7 @@ clean: mmlinterface.opt mmlinterface2 mmlinterface2.opt install: - cp experiment reduction fix_params mmlinterface \ - experiment.opt reduction.opt fix_params.opt mmlinterface.opt \ - $(HELM_BIN_DIR) + cp mmlinterface mmlinterface.opt $(HELM_BIN_DIR) distclean: rm -f Makefile configuration.ml configure config.log config.cache \ diff --git a/helm/interface/helm_gtk_interface-0.0.1-1.spec b/helm/interface/helm_gtk_interface-0.0.1-1.spec index 361f12cdd..3a861e24c 100644 --- a/helm/interface/helm_gtk_interface-0.0.1-1.spec +++ b/helm/interface/helm_gtk_interface-0.0.1-1.spec @@ -1,12 +1,13 @@ -Summary: The configuration files shared by all the tools of project HELM -Name: helm_configuration +Summary: The gtk interface for the library of project HELM +Name: helm_gtk_interface Version: 0.0.1 Release: 1 Copyright: GPL URL: http://www.cs.unibo.it/helm Packager: Claudio Sacerdoti Coen +Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1 Group: Applications/Publishing -Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_configuration-0.0.1-1.tar.gz +Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_gtk_interface-0.0.1-1.tar.gz %description HELM (Hypertextual Electronic Library of Mathematics) is a project aimed at the creation of tools for the development and exploitation of a huge @@ -28,15 +29,5 @@ make install %files %doc AUTHORS COPYING ChangeLog NEWS README - -/usr/local/lib/helm/configuration.pl -/usr/local/etc/helm/configuration.dtd -/usr/local/etc/helm/helm-font-configuration.xml -/usr/local/etc/helm/configuration.xml -/usr/local/etc/helm/helm-math-engine-configuration.xml -/usr/local/etc/helm/helm-dictionary.xml -/usr/local/var/helm/servers.txt -/usr/local/var/helm/urls_of_uris.db - -%dir /usr/local/var/helm/library -%dir /usr/local/share/helm/dtd +%attr(755,root,root) /usr/local/bin/mmlinterface +%attr(755,root,root) /usr/local/bin/mmlinterface.opt -- 2.39.2