[frama-c] Add missing ocaml-ocamldoc BR. Fix the list of documentation files.

[Jerry James]

commit 3060ea80248a5724156bd8044e726407ba7263a7
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri Oct 19 15:31:58 2012 -0600

    Add missing ocaml-ocamldoc BR.
    Fix the list of documentation files.

 frama-c.spec |   11 ++++++++---
 1 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/frama-c.spec b/frama-c.spec
index 3deb9dc..c0c5f74 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -45,6 +45,7 @@ BuildRequires:  ltl2ba
 BuildRequires:  ocaml
 BuildRequires:  ocaml-findlib-devel
 BuildRequires:  ocaml-lablgtk-devel
+BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ocamlgraph-devel
 
 Requires:       cpp
@@ -227,10 +228,14 @@ xargs chmod a-x %{buildroot}%{_libdir}/frama-c/*.cmx \
 %exclude %{_datadir}/frama-c/manuals
 
 %files doc
-%doc doc/manuals/acsl* doc/manuals/aorai-manual.pdf
-%doc doc/manuals/jessie-tutorial.pdf doc/manuals/metrics-manual.pdf
-%doc doc/manuals/rte-manual.pdf doc/manuals/value-analysis.pdf
+%doc doc/code/*.txt
+%doc doc/manuals/acsl*
+%doc doc/manuals/aorai-manual.pdf
+%doc doc/manuals/metrics-manual.pdf
+%doc doc/manuals/rte-manual.pdf
+%doc doc/manuals/value-analysis.pdf
 %doc doc/manuals/wp-manual.pdf
+%doc doc/manuals/wp-tutorial.pdf
 
 %files emacs
 %{_emacs_sitelispdir}/acsl.elc