Project

General

Profile

Bug #4139

"make pdf" target exists, but does nothing

Added by osmith 2 months ago. Updated 2 months ago.

Status:
New
Priority:
Normal
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 2 months ago

  • Description updated (diff)

#2 Updated by osmith 2 months ago

  • Description updated (diff)

Also available in: Atom PDF

Add picture from clipboard (Maximum size: 48.8 MB)