diff options
author | Paul Smith <psmith@gnu.org> | 2005-05-10 01:38:18 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2005-05-10 01:38:18 +0000 |
commit | 211702e7760054dfe30ef65e2385b570ed50cd19 (patch) | |
tree | 90030c239cea27ff9dc8049eea04b67244d7e898 /maintMakefile | |
parent | 4931896df6c70889c6cf3a1894be580fd56f380d (diff) | |
download | make-211702e7760054dfe30ef65e2385b570ed50cd19.tar.gz |
Fixes to allow "make dist" etc. to work again.
Diffstat (limited to 'maintMakefile')
-rw-r--r-- | maintMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintMakefile b/maintMakefile index 111e6a35..00432a78 100644 --- a/maintMakefile +++ b/maintMakefile @@ -157,7 +157,7 @@ get-config/config.guess get-config/config.sub: && $(WGET) $(config-url) -O $(target).t \ && $(move_if_change) -gnulib-url = $(savannah-url)/gnulib/gnulib/config/$(patsubst get-config/%,%,$@) +gnulib-url = $(savannah-url)/gnulib/gnulib/build-aux/$(patsubst get-config/%,%,$@) get-config/texinfo.tex: @echo $(WGET) $(gnulib-url) -O $(target) \ && $(WGET) $(gnulib-url) -O $(target).t \ |