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

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