From 5f19ebe47dfae2820a2402cb0bb4517240367756 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Jun 15 2011 18:29:58 +0000
Subject: Move tutorial code into main package; it is small and we can then leave all

the rest of the documentation as noarch.

---

diff --git a/coq.spec b/coq.spec
index 44c82ce..b6c910c 100644
--- a/coq.spec
+++ b/coq.spec
@@ -298,7 +298,6 @@ fi
 
 %files doc
 %defattr(-,root,root,-)
-%{tutorialcodedir}
 %{coqdocdir}/*
 %exclude %{coqdocdir}/CHANGES
 %exclude %{coqdocdir}/COMPATIBILITY
@@ -334,6 +333,8 @@ fi
 - Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff.
   Coq tactics are written in ocaml, which compiles to arch-specific files,
   and those files are stored in the same place as the noarch proof files.
+- Move tutorial code into main package; it is small and we can then leave
+  all the rest of the documentation as noarch
 
 * Tue Apr 26 2011 Jerry James <loganjerry@gmail.com> - 8.3pl2-1
 - New upstream release