280 |
|
|
281 |
WGET = wget |
WGET = wget |
282 |
ftp-gnu = ftp://ftp.gnu.org/gnu |
ftp-gnu = ftp://ftp.gnu.org/gnu |
283 |
|
www-gnu = http://www.gnu.org |
284 |
|
|
285 |
# Use mv, if you don't have/want move-if-change. |
# Use mv, if you don't have/want move-if-change. |
286 |
move_if_change ?= move-if-change |
move_if_change ?= move-if-change |
335 |
|
|
336 |
texinfo.tex-url_prefix = $(ftp-gnu)/texinfo/ |
texinfo.tex-url_prefix = $(ftp-gnu)/texinfo/ |
337 |
|
|
338 |
standards.texi-url_prefix = $(ftp-gnu)/GNUinfo/ |
standards.texi-url_prefix = $(www-gnu)/prep/ |
339 |
make-stds.texi-url_prefix = $(ftp-gnu)/GNUinfo/ |
make-stds.texi-url_prefix = $(standards.texi-url_prefix) |
340 |
|
|
341 |
target = $(patsubst get-%, %, $@) |
target = $(patsubst get-%, %, $@) |
342 |
url = $($(notdir $(target))-url_prefix)$(notdir $(target)) |
url = $($(notdir $(target))-url_prefix)$(notdir $(target)) |