[coq] Install docs to %{_pkgdocdir} where available.

[Ville Skyttä]

commit 688d05764b45600c31763b03db0136a7e038bd32
Author: Ville Skyttä <ville.skytta at iki.fi>
Date:   Fri Jul 26 22:45:28 2013 +0300

    Install docs to %{_pkgdocdir} where available.

 coq.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 6c40148..36ef75e 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
 
 Name:           coq
 Version:        8.4pl2
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -170,7 +170,7 @@ sed -i 's/-lunix/& -ccopt -Wl,-z,relro,-z,now/' configure
 %global opt_option -byte-only
 %endif
 
-%global coqdocdir %{_defaultdocdir}/coq-%{version}
+%global coqdocdir %{?_pkgdocdir}%{!?_pkgdocdir:%{_docdir}/coq-%{version}}
 
 ./configure -prefix %{_prefix}     \
             -libdir %{_libdir}/coq \
@@ -337,6 +337,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Fri Jul 26 2013 Ville Skyttä <ville.skytta at iki.fi> - 8.4pl2-2
+- Install docs to %%{_pkgdocdir} where available.
+
 * Tue May 14 2013 Jerry James <loganjerry at gmail.com> - 8.4pl2-1
 - New upstream release
 - Harden the build due to network use