Bug #4139
closed"make pdf" target exists, but does nothing
0%
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
Updated by laforge over 4 years ago
who or what creates that target? Maybe its generation can simply be disabled?
Updated by osmith over 4 years ago
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.