diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/manual/Makefile b/manual/Makefile index ca930fd481..df7a9a36ab 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -125,20 +125,6 @@ install: $(infodir)/libc.info # Catchall implicit rule for other installation targets from the parent. install-%: ; -ifndef infodir -infodir = $(prefix)/info -endif -ifndef prefix -prefix = /usr/local -endif - -ifndef INSTALL_DATA -INSTALL_DATA = $(INSTALL) -m 644 -endif -ifndef INSTALL -INSTALL = install -endif - $(infodir)/libc.info: libc.info installdirs for file in $<*; do \ name=`basename $$file`; \ |