> Thus, two options present themself: ditch automake generated targets, do it > manually as everywhere else or tweak the Makefile.am to touch libgomp.info > before invoking `missing makeinfo`. > > Preferences?
This only matters when building from SVN. I say we should just require makeinfo and forget about the problem. -- Pinski