Project

General

Profile

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>

Back

Add picture from clipboard (Maximum size: 48.8 MB)