1# 2# Titles 3## HTML 4MAINDOC=Developer_s_Guide.html 5HTML_TITLE="Developer's Guide" 6# 7## PDF 8DOC=developers 9COVERPAGE_NAME=coverpage-$(DOC) 10