packages: coq/coq.spec - updated files - install docs to docdir

[baggins]

Author: baggins                      Date: Fri Apr  8 11:39:40 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- updated files
- install docs to docdir

---- Files affected:
packages/coq:
   coq.spec (1.18 -> 1.19) 

---- Diffs:

================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.18 packages/coq/coq.spec:1.19
--- packages/coq/coq.spec:1.18	Fri Apr  8 09:55:27 2011
+++ packages/coq/coq.spec	Fri Apr  8 13:39:34 2011
@@ -56,7 +56,7 @@
 	-bindir %{_bindir} \
 	-libdir %{_libdir}/coq \
 	-mandir %{_mandir} \
-	-docdir %{_datadir}/coq/doc \
+	-docdir %{_docdir}/%{name}-%{version} \
 	-emacs emacs \
 	-browser 'iceweasel -remote "OpenURL(%s,new-tab)" || iceweasel %s &' \
 	-emacslib %{_datadir}/emacs/site-lisp \
@@ -82,11 +82,11 @@
 
 %files
 %defattr(644,root,root,755)
-%attr(755,root,root) %{_bindir}/coq-interface
-%attr(755,root,root) %{_bindir}/coq-interface.opt
 %attr(755,root,root) %{_bindir}/coq-tex
 %attr(755,root,root) %{_bindir}/coq_makefile
 %attr(755,root,root) %{_bindir}/coqc
+%attr(755,root,root) %{_bindir}/coqchk
+%attr(755,root,root) %{_bindir}/coqchk.opt
 %attr(755,root,root) %{_bindir}/coqdep
 %attr(755,root,root) %{_bindir}/coqdoc
 %attr(755,root,root) %{_bindir}/coqide*
@@ -96,25 +96,26 @@
 %attr(755,root,root) %{_bindir}/coqtop.opt
 %attr(755,root,root) %{_bindir}/coqwc
 %attr(755,root,root) %{_bindir}/gallina
-%attr(755,root,root) %{_bindir}/parser
-%attr(755,root,root) %{_bindir}/parser.opt
 %dir %{_libdir}/coq
 %{_libdir}/coq/*
 %{_datadir}/emacs/site-lisp/coq.el
+%{_datadir}/emacs/site-lisp/coq-db.el
+%{_datadir}/emacs/site-lisp/coq-font-lock.el
 %{_datadir}/emacs/site-lisp/coq-inferior.el
-%{_mandir}/man1/coq-tex.1*
-%{_mandir}/man1/coqdep.1*
-%{_mandir}/man1/gallina.1*
+%{_datadir}/emacs/site-lisp/coq-syntax.el
 %{_mandir}/man1/coqc.1*
+%{_mandir}/man1/coqchk.1*
+%{_mandir}/man1/coqdep.1*
+%{_mandir}/man1/coqdoc.1*
+%{_mandir}/man1/coq_makefile.1*
+%{_mandir}/man1/coqmktop.1*
+%{_mandir}/man1/coq-tex.1*
+%{_mandir}/man1/coqide.1*
 %{_mandir}/man1/coqtop.1*
 %{_mandir}/man1/coqtop.byte.1*
 %{_mandir}/man1/coqtop.opt.1*
-%{_mandir}/man1/coq_makefile.1*
-%{_mandir}/man1/coqmktop.1*
-%{_mandir}/man1/coq-interface.1*
-%{_mandir}/man1/parser.1*
-%{_mandir}/man1/coqdoc.1*
 %{_mandir}/man1/coqwc.1*
+%{_mandir}/man1/gallina.1*
 %{_datadir}/texmf/tex/latex/misc/coqdoc.sty
 %{_desktopdir}/coqide.desktop
 %{_pixmapsdir}/coqide.xpm
@@ -125,6 +126,10 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.19  2011/04/08 11:39:34  baggins
+- updated files
+- install docs to docdir
+
 Revision 1.18  2011/04/08 07:55:27  baggins
 - more texlive BR
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.18&r2=1.19&f=u