Fix setting of Makefile variable DOC_DIR. Courtesy of François Perrad
Fix setting of Makefile variable DOC_DIR.
Courtesy of François Perrad

bschmalhofer/pipp,bschmalhofer/pipp,bschmalhofer/pipp,bschmalhofer/pipp