diff options
| author | hdaniels <unknown> | 2005-06-21 18:46:37 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-21 18:46:37 +0000 |
| commit | 37ac948641187833ad07bc8159496aa3940563e7 (patch) | |
| tree | 0528550c83487b8944dbc4ae84ed17ac352a729f /src | |
| parent | 6693b50c9da76b66e958e85a789737bfc1f8f1cf (diff) | |
Changed gf.spec to produce a rpm for the HTML and printnames enhanced editor. Package called editor2
Diffstat (limited to 'src')
| -rw-r--r-- | src/gf.spec | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/gf.spec b/src/gf.spec index 5289ec6c4..cd4a3a581 100644 --- a/src/gf.spec +++ b/src/gf.spec @@ -51,6 +51,15 @@ Requires: %{name} %description editor This package contains the syntax editor GUI for GF. +%package editor2 +Summary: Java syntax editor for Grammatical Framework (GF). +Group: Sciences/Other +Requires: %{name} + +%description editor2 +This package contains the syntax editor GUI for GF with printname enhancements and HTML support. + + %prep rm -rf $RPM_BUILD_ROOT %setup -q @@ -78,8 +87,15 @@ rm -rf $RPM_BUILD_ROOT %{_bindir}/jgf %{_datadir}/%{name}-%{version}/gf-java.jar +%files editor2 +%defattr(-,root,root,0755) +%{_bindir}/gfeditor +%{_datadir}/%{name}-%{version}/gfeditor.jar + %changelog +* Tue June 21 2005 Hans-Joachim Daniels <daniels@ira.uka.de> 2.3pre +- added the printnames and HTML enhanced editor as editor2 * Thu May 12 2005 Bjorn Bringert <bringert@cs.chalmers.se> 2.2pre2-1 - Split package into gf and gf-editor packages. |