xml_sources = \
${xml_srcdir}/spine.xml \
${xml_srcdir}/authors.xml \
- ${xml_srcdir}/manual/spine.xml \
${xml_srcdir}/manual/abi.xml \
${xml_srcdir}/manual/algorithms.xml \
${xml_srcdir}/manual/allocator.xml \
# PDF
# Points to current best xml to PDF generation process.
-doc-pdf: doc-pdf-xmlto
+doc-pdf: doc-pdf-prince
doc-pdf-fop-xml: $(xml_sources) ${glibcxx_builddir}/doc/pdf
@echo "Generating pdf fop files from xml..."
$(FOP) $(FOP_FLAGS) -xml ${top_srcdir}/doc/xml/spine.xml \