Bug #4139
closed
"make pdf" target exists, but does nothing
Added by osmith over 4 years ago.
Updated about 3 years ago.
Description
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:
pdf:
if BUILD_MANUALS
$(MAKE) -C doc/manuals
else
$(info ---)
$(info ERROR: manuals disabled, try './configure --enable-manuals'.)
$(info ---)
@exit 1
endif
- Description updated (diff)
- Description updated (diff)
who or what creates that target? Maybe its generation can simply be disabled?
- Priority changed from Normal to Low
Autotools generates the target and I could not find a way to remove it.
Right now, calling make pdf in the top dir goes into each subdirectory that has a Makefile, and calls make pdf there. Every time it prints "nothing to be done".
If we disable it (override with empty target with a pdf: line), it would not try to go into subdirectories, but directly print "nothing to be done".
The most userfriendly solution seems to me to add what I proposed above, but this change needs to happen in all repositories.
- Status changed from New to Rejected
Also available in: Atom
PDF
