LIBXSMM

• ReadtheDocs: main and sample documentation with full text search.
• PDF: main documentation file, and separate sample documentation.

XCONFIGURE

• ReadtheDocs: online documentation with full text search.
• PDF: a single documentation file.