mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-11 22:31:12 +02:00
Code Activity

(guile-procedures.txt): When we don't have makeinfo, use "cp" instead.

Browse source
This commit is contained in:
Marius Vollmer 2001-12-26 15:37:01 +00:00
parent a9d78896d1
commit 9df3eecce4
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
libguile/Makefile.am
View file

@ -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; }