Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2021-09-04 22:35:26 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.1899 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Sat Sep 4 22:35:26 2021 rev:12 rq:916845 version:8.13.2 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2021-05-02 18:39:17.172137292 +0200 +++ /work/SRC/openSUSE:Factory/.coq.new.1899/coq.changes 2021-09-04 22:38:21.660390688 +0200 @@ -1,0 +2,6 @@ +Sat Sep 4 12:51:43 UTC 2021 - Aaron Puchert <aaronpuch...@alice-dsl.net> + +- Add documentation package based on github.com/coq/doc until we + can build the documentation directly in OBS. + +------------------------------------------------------------------- New: ---- coq-refman-8.13.2.tar.xz coq-stdlib-8.13.2.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.pZDIhK/_old 2021-09-04 22:38:22.056391213 +0200 +++ /var/tmp/diff_new_pack.pZDIhK/_new 2021-09-04 22:38:22.060391218 +0200 @@ -29,6 +29,8 @@ Source: https://github.com/coq/coq/archive/V%{version}.tar.gz#/%{name}-%{version}.tar.gz Source1: coq.desktop Source2: coq.xml +Source50: coq-refman-%{version}.tar.xz +Source51: coq-stdlib-%{version}.tar.xz Source100: %{name}-rpmlintrc BuildRequires: desktop-file-utils BuildRequires: make >= 3.81 @@ -70,8 +72,16 @@ %description devel This package contains development files for Coq. +%package doc +Summary: Documentation for coq +Group: Documentation/HTML +Requires: %{name} = %{version} + +%description doc +HTML reference manual for Coq and full documentation of the standard library. + %prep -%setup -q +%setup -q -a 50 -a 51 # META for ocamlfind doesn't contain a version, so configure.ml fails. We patch that. sed -i 's/v, _ = tryrun camlexec.find \["query"; "-format"; "%v"; "lablgtk3"\]/v = "%{pkg_version ocamlfind(lablgtk3)}"/' \ configure.ml @@ -160,6 +170,27 @@ -or -name '*.o' \ -or -name '*.v' | sed "s|%{buildroot}||g" >>devel.list +# Until we can build it, we fetch the documentation from the official website: +# svn export https://github.com/coq/doc/trunk/V%{version}/refman +# svn export https://github.com/coq/doc/trunk/V%{version}/stdlib +# tar --sort=name --owner=0 --group=0 --mtime="@$(stat -c %%Y refman/index.html)" \ +# --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ +# -cJf coq-refman-%{version}.tar.xz refman +# tar --sort=name --owner=0 --group=0 --mtime="@$(stat -c %%Y stdlib/index.html)" \ +# --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ +# -cJf coq-stdlib-%{version}.tar.xz stdlib + +# Drop some CSS files and headers in stdlib documentation, add some margin directly. +find stdlib/ -name '*.html' -exec sed -i ' +s#//coq.inria.fr/sites/all/themes/coq/coqdoc.css#/usr/lib64/coq/tools/coqdoc/coqdoc.css# +/<link type="text\/css" rel="stylesheet" media="all" href="\/\/coq.inria.fr\/.*.css" \/>/d +/<div id="container">/s/>/ style="margin:1em;">/ +/^ <div id="headertop">$/,/^ <\/div>$/d +/^ <div id="header">$/,/^ <\/div>$/d +' {} + +cp -r refman stdlib %{buildroot}%{_docdir}/coq +rm -r %{buildroot}%{_docdir}/coq/refman/{.doctrees,_sources} + %files -f runtime.list %license LICENSE CREDITS %doc README.md @@ -223,4 +254,8 @@ %files devel -f devel.list %{_libdir}/coq/tools/CoqMakefile.in +%files doc +%{_docdir}/coq/refman +%{_docdir}/coq/stdlib + %changelog