mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-24 13:30:21 +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:49:41 +00:00
parent cea7aa1bfb
commit b447ce35ca
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
libguile/Makefile.am
View file

@ -206,10 +206,19 @@ guile.texi: $(DOT_DOC_FILES) $(EXTRA_DOT_DOC_FILES) guile-snarf-docs-texi.in gui
cat $(DOT_DOC_FILES) $(EXTRA_DOT_DOC_FILES) | ./guile-snarf-docs-texi > $@ \
|| { rm $@; false; }
guile-procedures.txt: guile.texi
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; }