gdb-5.0/gdb/doc/ patch -- is this patch really correct?

Eli Zaretskii
Fri Jun 30 09:46:00 GMT 2000

> Date: Fri, 30 Jun 2000 10:18:45 -0400
> From: Chris Faylor <>
> >
> >Did you look in the source distribution on, or somewhere
> >else?  I just looked in the GDB 5.0 distribution as downloaded from
> >the GNU site, and the Info files are there in gdb/doc directory.
> I looked in the directory that I've checked out via CVS.  AFAICT, there are
> no *.info files there.

Hmm...  This isn't right, the CVS reporitory should IMHO reproduce the
contents of the distribution tarball.

Andrew, Stan, can you comment on this?

> Even if that is the case, since the Makefile builds the info files in
> the build directory via the '' rule, blindly cd'ing to the
> source directory can't be the correct way to handle this.

Nevertheless, that's exactly what GNU packages do.  I just looked into
a few of them, and I see the same rule there, reproduced below (this
one is from Make distro):

    install-info-am: $(INFO_DEPS)
	    $(mkinstalldirs) $(DESTDIR)$(infodir)
	    @list='$(INFO_DEPS)'; \
	    for file in $$list; do \
	      d=$(srcdir); \
	      for ifile in `cd $$d && echo $$file $$file-[0-9] $$file-[0-9][0-9]`; do \
		if test -f $$d/$$ifile; then \
		  echo " $(INSTALL_DATA) $$d/$$ifile $(DESTDIR)$(infodir)/$$ifile"; \
		  $(INSTALL_DATA) $$d/$$ifile $(DESTDIR)$(infodir)/$$ifile; \
		else : ; fi; \
	      done; \

More information about the Gdb-patches mailing list