[coq] Move tutorial code into main package; it is small and we can then leave all the rest of the document

[Jerry James]

commit 5f19ebe47dfae2820a2402cb0bb4517240367756
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Jun 15 12:29:58 2011 -0600

    Move tutorial code into main package; it is small and we can then leave all
    the rest of the documentation as noarch.

 coq.spec |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
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 at gmail.com> - 8.3pl2-1
 - New upstream release