[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Nano-devel] [PATCH] build: don't explode when 'makeinfo' is missing,
Benno Schulenberg <=