"make pdf" target exists, but does nothing
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
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.