]> git.pld-linux.org Git - packages/ocaml.git/commitdiff
- added info patch (unify info dir entry)
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 28 Aug 2021 11:54:42 +0000 (13:54 +0200)
committerJakub Bogusz <qboosh@pld-linux.org>
Sat, 28 Aug 2021 11:54:42 +0000 (13:54 +0200)
ocaml-info.patch [new file with mode: 0644]
ocaml.spec

diff --git a/ocaml-info.patch b/ocaml-info.patch
new file mode 100644 (file)
index 0000000..ad869b2
--- /dev/null
@@ -0,0 +1,11 @@
+--- ocaml-4.12.0/infoman/ocaml.info.orig       2021-08-28 12:25:48.769734956 +0200
++++ ocaml-4.12.0/infoman/ocaml.info    2021-08-28 12:26:25.549535702 +0200
+@@ -1,6 +1,6 @@
+-INFO-DIR-SECTION OCaml Programming Language 
++INFO-DIR-SECTION Programming Languages:
+ START-INFO-DIR-ENTRY
+-* ocaml: (ocaml). OCaml Reference Manual
++* ocaml: (ocaml).                     OCaml Reference Manual
+ END-INFO-DIR-ENTRY
+ This file has been translated from LaTeX by HeVeA.
\1f
index f6b886578079a2495837a2a114ebfada5827515e..11048c92f19c44200a15e2c6c9af987ee2bbe4cd 100644 (file)
@@ -30,6 +30,7 @@ Source4:      https://github.com/mmottl/pure-fun/archive/v1.0.13/pure-fun-1.0.13.tar.
 Source5:       http://www.ocaml.info/ocaml_sources/ds-contrib.tar.gz
 # Source5-md5: 77fa1da7375dea1393cc0b6cd802d7e1
 Patch0:                %{name}-10266.patch
+Patch1:                %{name}-info.patch
 URL:           https://www.ocaml.org/
 Requires:      %{name}-runtime = %{epoch}:%{version}-%{release}
 Provides:      ocaml-bytes-devel
@@ -166,6 +167,8 @@ Okasaki'ego, napisane w OCamlu, wraz z dodatkami.
 %prep
 %setup -q -a1 -a3
 %patch0 -p1
+gunzip infoman/ocaml.info.gz
+%patch1 -p1
 
 mkdir examples
 tar xzf %{SOURCE4} -C examples
@@ -219,7 +222,8 @@ ln -sf %{_libdir}/%{name}/{scrape,add}labels $RPM_BUILD_ROOT%{_bindir}
 %{__rm} -r $RPM_BUILD_ROOT%{_mandir}/man3
 
 # install info pages
-cp -p infoman/ocaml.info{,.body-*}.gz $RPM_BUILD_ROOT%{_infodir}
+cp -p infoman/ocaml.info $RPM_BUILD_ROOT%{_infodir}
+cp -p infoman/ocaml.info.body-*.gz $RPM_BUILD_ROOT%{_infodir}
 
 %clean
 rm -rf $RPM_BUILD_ROOT
This page took 0.090274 seconds and 4 git commands to generate.