zsh-workers
 help / color / mirror / code / Atom feed
* install-info disappeared?
@ 2000-07-03 15:02 Andrej Borsenkow
  2000-07-03 16:42 ` Peter Stephenson
  0 siblings, 1 reply; 2+ messages in thread
From: Andrej Borsenkow @ 2000-07-03 15:02 UTC (permalink / raw)
  To: ZSH workers mailing list

I just noticed, that call to install-info disappeared from Zsh
Makefiles. It means, that no dir entries will be created. make
install.info will just drop info files into info directory. Hm, I
remember I sent patch once.

Do I miss something obvious?

-andrej

Have a nice DOS!
B >>


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2000-07-03 16:44 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-07-03 15:02 install-info disappeared? Andrej Borsenkow
2000-07-03 16:42 ` Peter Stephenson

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).