zsh-workers
 help / color / mirror / code / Atom feed
* PATCH: Doc/Makefile.in missing $(DESTDIR)
@ 1999-09-29 22:05 Adam Spiers
  0 siblings, 0 replies; only message in thread
From: Adam Spiers @ 1999-09-29 22:05 UTC (permalink / raw)
  To: zsh workers mailing list

Index: Doc/Makefile.in
===================================================================
RCS file: /usr/local/cvsroot/zsh/Doc/Makefile.in,v
retrieving revision 1.3
diff -u -r1.3 Makefile.in
--- Doc/Makefile.in	1999/09/29 19:29:50	1.3
+++ Doc/Makefile.in	1999/09/29 21:57:08
@@ -186,7 +186,7 @@
 	   fi || exit 1; \
 	done
 	if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
-	  install-info --dir-file=$(infodir)/dir $(infodir)/zsh.info; \
+	  install-info --dir-file=$(DESTDIR)$(infodir)/dir $(DESTDIR)$(infodir)/zsh.info; \
 	else true; fi
 
 install.html: zsh_toc.html


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1999-09-30  2:11 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-09-29 22:05 PATCH: Doc/Makefile.in missing $(DESTDIR) Adam Spiers

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).