mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-12-27 23:06:53 +00:00
Formerly compatMakefile.~65~
This commit is contained in:
parent
c88072ca74
commit
60a76e0d39
1 changed files with 1 additions and 1 deletions
|
@ -192,7 +192,7 @@ $(bindir)/$(instname): make
|
||||||
$(infodir)/$(instname).info: make.info
|
$(infodir)/$(instname).info: make.info
|
||||||
for file in make.info*; do \
|
for file in make.info*; do \
|
||||||
$(INSTALL_DATA) $$file \
|
$(INSTALL_DATA) $$file \
|
||||||
`echo $@ | sed "s/$(instname).info\$$/$$file/"`; \
|
`echo $@ | sed "s,$(instname).info\$$,$$file,"`; \
|
||||||
done
|
done
|
||||||
|
|
||||||
$(mandir)/$(instname).$(manext): make.man
|
$(mandir)/$(instname).$(manext): make.man
|
||||||
|
|
Loading…
Reference in a new issue