Bug #4139
Updated by osmith over 4 years ago
There is a default "pdf" target, so tab-completion will suggest it and of course people expect it to build the pdf manuals. But currently it just does nothing. We could override it for all projects with this: <pre> pdf: if BUILD_MANUALS $(MAKE) -C doc/manuals else $(info ---) $(info ERROR: manuals disabled, try './configure --enable-manuals'.) $(info ---) @exit 1 endif </pre>