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 in the topdir Makefile.am: 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>