From 7835991c0a382e835a2fe567397be363066d8a60 Mon Sep 17 00:00:00 2001
From: Jan Kaluza <jkaluza@redhat.com>
Date: Oct 04 2013 06:34:52 +0000
Subject: enable docs regeneration again (#991957)


---

diff --git a/adevs.spec b/adevs.spec
index c8600e6..57d96f4 100644
--- a/adevs.spec
+++ b/adevs.spec
@@ -1,6 +1,6 @@
 Name:           adevs
 Version:        2.7
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        C++ library for constructing discrete event simulation
 Group:          System Environment/Libraries
 License:        LGPLv2+
@@ -52,9 +52,7 @@ make %{_smp_mflags} adevs OPTFLAG=
 popd
 
 pushd docs
-# Commented out temporarily to workaround latext2html bug,
-# see #991957 for more info.
-#make html_manual
+make html_manual
 rm -f manual/*.aux manual/*.out manual/*.dvi manual/*.log manual/*.toc
 popd
 
@@ -94,6 +92,9 @@ rm -r ./examples/java_life
 %doc docs/api docs/manual examples
 
 %changelog
+* Fri Oct 04 2013 Jan Kaluza <jkaluza@redhat.com> - 2.7-4
+- enable docs regeneration again (#991957)
+
 * Thu Aug 22 2013 Jan Kaluza <jkaluza@redhat.com> - 2.7-3
 - workaround (temporarily) #991957 by not regenerating docs