3 %bcond_without ocaml_opt # skip building native optimized binaries (bytecode is always built)
5 %ifnarch %{ix86} %{x8664} arm aarch64 ppc sparc sparcv9
6 %undefine with_ocaml_opt
9 Summary: LaTeX to html translator
10 Summary(pl.UTF-8): Konwerter z LaTeXa do HTML-a
12 # 2.24 has svg.hva file missing
16 Group: Applications/Publishing/TeX
17 Source0: http://para.inria.fr/~maranget/hevea/old/%{name}-%{version}.tar.gz
18 # Source0-md5: 38b157e78e8171dc6a47f9ea10d2bd60
19 Source1: http://para.inria.fr/~maranget/hevea/%{name}-2.24-manual.pdf
20 # Source1-md5: 82414eb9bd85b69d8ae78e58c99d12c4
21 URL: http://para.inria.fr/~maranget/hevea/
22 BuildRequires: ocaml >= 3.12.0
23 BuildRequires: texlive-latex
24 BuildRequires: texlive-dvips
25 Requires: ghostscript >= 4.03
26 Requires: texlive-latex >= 0.4
27 Requires: texlive-dvips >= 0.4
28 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
30 %define make_target %{?with_ocaml_opt:opt}%{!?with_ocaml_opt:byte}
31 %define _latexheveadir %{_datadir}/texmf/tex/latex/%{name}
34 HEVEA is a LaTeX to HTML translator. The input language is a fairly
35 complete subset of LaTeX2e (old LaTeX style is also accepted) and the
36 output language is HTML that is (hopefully) correct with respect to
37 version 4.0 (transitional).
39 %description -l pl.UTF-8
40 HEVEA to translator dokumentów LaTeXa do HTML-a. Pliki wejściowe
41 powinny składać się z komend LaTeX2e (stary styl LaTeXa również jest
42 akceptowany), a pliki wynikowe HTML są zgodne ze standardem 4.0.
46 cp -f %{SOURCE1} manual.pdf
50 TARGET=%{make_target} \
52 LIBDIR=%{_datadir}/%{name} \
53 LATEXLIBDIR=%{_latexheveadir} \
55 DESTDIR=$RPM_BUILD_ROOT
61 rm -rf $RPM_BUILD_ROOT
62 install -d $RPM_BUILD_ROOT{%{_latexheveadir},%{_datadir},%{_bindir}}
65 TARGET=%{make_target} \
66 DESTDIR=$RPM_BUILD_ROOT
69 rm -rf $RPM_BUILD_ROOT
71 %post -p %{_bindir}/texhash
72 %postun -p %{_bindir}/texhash
75 %defattr(644,root,root,755)
76 %doc CHANGES README LICENSE manual.pdf
77 %attr(755,root,root) %{_bindir}/bibhva
78 %attr(755,root,root) %{_bindir}/esponja
79 %attr(755,root,root) %{_bindir}/hacha
80 %attr(755,root,root) %{_bindir}/hevea
81 %attr(755,root,root) %{_bindir}/imagen
82 %dir %{_datadir}/%{name}
83 %{_datadir}/%{name}/html
84 %{_datadir}/%{name}/info
85 %{_datadir}/%{name}/mappings
86 %{_datadir}/%{name}/text
87 %{_datadir}/%{name}/*.gif
88 %{_datadir}/%{name}/*.hva
89 %{_datadir}/%{name}/*.sty
90 %attr(755,root,root) %{_datadir}/%{name}/imagen
91 %attr(755,root,root) %{_datadir}/%{name}/*.exe
92 %dir %{_latexheveadir}
93 %{_latexheveadir}/hevea.sty