diff options
-rw-r--r-- | libguile/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libguile/Makefile.am b/libguile/Makefile.am index 9fdbc64c8..beb73a15d 100644 --- a/libguile/Makefile.am +++ b/libguile/Makefile.am @@ -247,12 +247,12 @@ if HAVE_MAKEINFO guile-procedures.txt: guile-procedures.texi rm -f $@ - makeinfo --force -o $@ $(srcdir)/guile-procedures.texi || test -f $@ + makeinfo --force -o $@ guile-procedures.texi || test -f $@ else guile-procedures.txt: guile-procedures.texi - cp $(srcdir)/guile-procedures.texi $@ + cp guile-procedures.texi $@ endif |