nano-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Nano-devel] [PATCH] build: don't explode when 'makeinfo' is missing


From: Benno Schulenberg
Subject: [Nano-devel] [PATCH] build: don't explode when 'makeinfo' is missing
Date: Wed, 4 Jan 2017 11:41:56 +0100

It is not possible to define info_TEXINFOS conditionally.  :|

So... build nano.info "manually" and forget about the pdf and dvi
targets.  This has the additional advantage that a 'make clean'
doesn't remove the nano.html file, and as 'makeinfo' is deadslow
nowadays, this saves a couple of seconds on a clean build.

This fixes https://savannah.gnu.org/bugs/?49969.
---
 doc/Makefile.am | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 1cbb3139..93e19db1 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -23,13 +23,14 @@ BUILT_SOURCES += $(html_pages)
 dist_html_DATA += $(html_pages)
 endif
 
-info_TEXINFOS = nano.texi
-
 if HAVE_MAKEINFO
-BUILT_SOURCES += nano.html
+BUILT_SOURCES += nano.info nano.html
 endif
 
+nano.info: nano.texi
+       makeinfo < $< > $@
+
 nano.html: nano.texi
        makeinfo --no-split --html < $< > $@
 
-EXTRA_DIST = $(BUILT_SOURCES) $(info_TEXINFOS)
+EXTRA_DIST = $(BUILT_SOURCES) nano.texi
-- 
2.11.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]