Prepare for the case when makeinfo isn't available

doc/Makefile.in already test that, but configure complains if @makeinfo@ isn't substituted.
shirok · Sep 21, 2024 · 35310c8 · 35310c8
1 parent 362d042
commit 35310c8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/configure b/configure
@@ -6,7 +6,7 @@
 
 (cf-init-gauche-extension)
 
-(cf-check-prog 'MAKEINFO '("makeinfo"))
+(cf-check-prog 'MAKEINFO '("makeinfo") :default "")
 (cf-check-prog 'GZIP_PROGRAM '("gzip"))
 
 (cf-output-default)

diff --git a/doc/Makefile.in b/doc/Makefile.in
@@ -25,14 +25,14 @@ html : gauche-makiki.en.html gauche-makiki.en.html
 info : gauche-makiki.en.info.gz gauche-makiki.ja.info.gz
 
 gauche-makiki.en.info.gz : gauche-makiki.en.texi
-	if test -n "$(MAKEINFO)" -a -n "$(GZIP_PROGRAM)"; then \
+	if test -n $(MAKEINFO) -a -n $(GZIP_PROGRAM); then \
 	  $(MAKEINFO) --no-warn gauche-makiki.en.texi; \
 	  rm -rf gauche-makiki.en.info*.gz; \
 	  $(GZIP_PROGRAM) gauche-makiki.en.info ; \
 	fi
 
 gauche-makiki.ja.info.gz : gauche-makiki.ja.texi
-	if test -n "$(MAKEINFO)" -a -n "$(GZIP_PROGRAM)"; then \
+	if test -n $(MAKEINFO) -a -n $(GZIP_PROGRAM); then \
 	  $(MAKEINFO) --no-warn gauche-makiki.ja.texi; \
 	  rm -rf gauche-makiki.ja.info*.gz; \
 	  $(GZIP_PROGRAM) gauche-makiki.ja.info ; \