From 9df3eecce426a91fb5085e8d6f8476dfa34c806c Mon Sep 17 00:00:00 2001
From: Marius Vollmer <mvo@zagadka.de>
Date: Wed, 26 Dec 2001 15:37:01 +0000
Subject: [PATCH] (guile-procedures.txt): When we don't have makeinfo, use "cp"
 instead.

---
 libguile/Makefile.am | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/libguile/Makefile.am b/libguile/Makefile.am
index 49f0e49a2..14aae5521 100644
--- a/libguile/Makefile.am
+++ b/libguile/Makefile.am
@@ -221,10 +221,19 @@ guile-procedures.texi: $(DOT_DOC_FILES) $(EXTRA_DOT_DOC_FILES) guile-snarf-docs-
 	cat $(DOT_DOC_FILES) $(EXTRA_DOT_DOC_FILES) | ./guile-snarf-docs-texi > $@ \
 	|| { rm $@; false; }
 
+if HAVE_MAKEINFO
+
 guile-procedures.txt: guile-procedures.texi
 	rm -f $@
 	makeinfo --force -o $@ $< || test -f $@
 
+else
+
+guile-procedures.txt: guile-procedures.texi
+	cp $< $@
+
+endif
+
 c-tokenize.c: c-tokenize.lex
 	flex -t $< > $@ || { rm $@; false; }