From 2c808962e56096c7a1896ece8e22358f8897c0d6 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 8 Jan 2019 13:34:48 +0000 Subject: [PATCH] hevea now generates *.svg instead of *.gif (RHBZ#1664307). --- ocaml-cil.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/ocaml-cil.spec b/ocaml-cil.spec index 0d0de5e..8653263 100644 --- a/ocaml-cil.spec +++ b/ocaml-cil.spec @@ -1,6 +1,6 @@ Name: ocaml-cil Version: 1.7.3 -Release: 44%{?dist} +Release: 45%{?dist} Summary: CIL - Infrastructure for C Program Analysis and Transformation License: BSD @@ -162,9 +162,9 @@ find $DESTDIR -name .packlist -type f -exec rm -f {} \; mkdir -p doc/ocaml-cil/html cp -r doc/html/cil/api doc/ocaml-cil/html cp -r doc/html/cil/examples doc/ocaml-cil/html -cp doc/html/cil/*.gif doc/ocaml-cil/html/ cp doc/html/cil/*.html doc/ocaml-cil/html/ cp doc/html/cil/*.css doc/ocaml-cil/html/ +cp doc/html/cil/*.svg doc/ocaml-cil/html/ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf @@ -201,6 +201,9 @@ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf %changelog +* Tue Jan 08 2019 Richard W.M. Jones - 1.7.3-45 +- hevea now generates *.svg instead of *.gif (RHBZ#1664307). + * Fri Jul 13 2018 Fedora Release Engineering - 1.7.3-44 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild