SPECS: otter.spec - some pl, cosmetics

[qboosh]

Author: qboosh                       Date: Sat Jun 11 21:44:34 2005 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- some pl, cosmetics

---- Files affected:
SPECS:
   otter.spec (1.1 -> 1.2) 

---- Diffs:

================================================================
Index: SPECS/otter.spec
diff -u SPECS/otter.spec:1.1 SPECS/otter.spec:1.2
--- SPECS/otter.spec:1.1	Fri Jun 10 22:04:24 2005
+++ SPECS/otter.spec	Sat Jun 11 23:44:29 2005
@@ -4,9 +4,9 @@
 #
 # Conditional build:
 %bcond_with	tests		# build with tests
-
-
+#
 Summary:	Theorem Prover
+Summary(pl):	Narzędzie do dowodzenia twierdzeń
 Name:		otter
 Version:	3.3f
 Release:	1
@@ -14,7 +14,7 @@
 Group:		Applications/Science
 Source0:	http://www-unix.mcs.anl.gov/AR/otter/dist33/%{name}-%{version}.tar.gz
 # Source0-md5:	795711b307cc1316e08d3d4f46c998c9
-URL:		http://www-unix.mcs.anl.gov/AR/otter/dist33
+URL:		http://www-unix.mcs.anl.gov/AR/otter/dist33/
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
@@ -36,31 +36,37 @@
 
 %package doc
 Summary:	Otter and Mace documentation
+Summary(pl):	Dokumentacja do programów Otter i Mace
 Group:		Documentation
 
 %description doc
 PDF documentation for Otter and Mace theorem proving programs.
 
+%description doc -l pl
+Dokumentacja w formacie PDF do programów Otter i Mace służących do
+dowodzenia twierdzeń.
+
 %package examples
 Summary:	Otter and Mace examples
+Summary(pl):	Przykłady do programów Otter i Mace
 Group:		Documentation
 
 %description examples
 Example proofs for Otter and Mace theorem proving programs.
 
+%description examples -l pl
+Przykładowe dowody do programów Otter i Mace służących do
+dowodzenia twierdzeń.
 
 %prep
 %setup -q
 
 %build
-cd source
-%{__make} all \
+%{__make} -C source all \
 	CC="%{__cc}"
 
-cd ../mace2
-%{__make} all \
+%{__make} -C mace2 all \
 	CC="%{__cc}"
-cd ..
 
 %if %{with tests}
 %{__make} test-mace
@@ -70,11 +76,11 @@
 %install
 rm -rf $RPM_BUILD_ROOT
 install -d $RPM_BUILD_ROOT{%{_bindir},%{_examplesdir}/%{name}}
+
 install bin-Linux/* $RPM_BUILD_ROOT%{_bindir}
 cp -rf examples $RPM_BUILD_ROOT%{_examplesdir}/%{name}
 cp -rf examples-mace2 $RPM_BUILD_ROOT%{_examplesdir}/%{name}
 
-
 %clean
 rm -rf $RPM_BUILD_ROOT
 
@@ -91,14 +97,14 @@
 %defattr(644,root,root,755)
 %{_examplesdir}/%{name}
 
-
 %define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
 %changelog
 * %{date} PLD Team <feedback at pld-linux.org>
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.2  2005/06/11 21:44:29  qboosh
+- some pl, cosmetics
+
 Revision 1.1  2005/06/10 20:04:24  djurban
 - initial
-
-
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SPECS/otter.spec?r1=1.1&r2=1.2&f=u