[coq] Fix SOURCE3 -> SOURCE4.

[Richard W.M. Jones]

commit 6f1634fbad8a5eeccb7ff7ec9f95ee7f6a6786fd
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Sat Jul 28 17:10:11 2012 +0100

    Fix SOURCE3 -> SOURCE4.
    
    This fixes commit 7bc5fec4e528059219f3284a7ef216a01aa804ac.

 coq.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index cf166bb..2b06ffd 100644
--- a/coq.spec
+++ b/coq.spec
@@ -196,7 +196,7 @@ cp -p proofs/decl_expr.cmi %{buildroot}%{coqdatadir}/proofs
 
 # Make a MIME type for .v files
 mkdir -p %{buildroot}%{_datadir}/mime/packages
-cp -p %{SOURCE3} %{buildroot}%{_datadir}/mime/packages
+cp -p %{SOURCE4} %{buildroot}%{_datadir}/mime/packages
 
 # Install main Coq .v files
 for f in `find plugins theories -name '*.v' -type f`; do