diff --git a/coq.spec b/coq.spec
index a7ac97b..6f622fb 100644
--- a/coq.spec
+++ b/coq.spec
@@ -273,15 +273,12 @@ done
 mkdir -p %{buildroot}%{_datadir}/gtksourceview-3.0/styles
 ln -s ../../coq/coq_style.xml %{buildroot}%{_datadir}/gtksourceview-3.0/styles
 
-# We don't need both PostScript and PDF documentation
-rm -fr %{buildroot}%{coqdocdir}/ps
-
 # We install our own documentation
-rm -fr %{buildroot}%{_prefix}/doc
-rm %{buildroot}%{_pkgdocdir}/LICENSE.doc
-
-# Install documentation not installed by install-doc in Makefile
-cp -p dev/doc/changes.md CREDITS %{buildroot}%{coqdocdir}
+rm -fr %{buildroot}%{_prefix}/doc %{buildroot}%{_pkgdocdir}
+mkdir pdf
+cp -p _build_vo/default/doc/stdlib/Library.pdf pdf
+mkdir sphinx
+cp -a doc/sphinx/_build/{html,latex} sphinx
 
 # Byte compile the tools
 %py_byte_compile %{python3} %{buildroot}%{_libdir}/ocaml/coq/tools