Project

General

Profile

Bug #4139

"make pdf" target exists, but does nothing

Added by osmith 4 months ago. Updated 6 days ago.

Status:
New
Priority:
Low
Assignee:
Target version:
-
Start date:
08/02/2019
Due date:
% Done:

0%

Spec Reference:

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

History

#1 Updated by osmith 4 months ago

  • Description updated (diff)

#2 Updated by osmith 4 months ago

  • Description updated (diff)

#3 Updated by laforge 9 days ago

who or what creates that target? Maybe its generation can simply be disabled?

#4 Updated by laforge 9 days ago

  • Priority changed from Normal to Low

#5 Updated by osmith 6 days 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.

Also available in: Atom PDF

Add picture from clipboard (Maximum size: 48.8 MB)