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: 
 <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)