On Tue, 21 May 2002, Geoffrey Keating wrote: > * Makefile.in ($(docdir)/gccint.info): Depend on gty.texi. All the manual dependency lists appear twice (for both the info files and the dvi files) - both need updating in sync. -- Joseph S. Myers jsm28@cam.ac.uk