==============================================================================
Specific keywords for the ~/doc "make"

pdf-docs       Create PDF files for the theory documents and the presentation
==============================================================================
